: What is the best way to obtain working GNAT?
: jurov: I obtained working GNAT using ave1's thing, though had to modify his build script just a bit to fix broken links from adacore site.
shinohai still needs to clean that up, perhaps mirror all the goodies in one spot as well .....
: and there isn't some stopgap alternative keccak V implementation?
: Aside from vk.pl I dunno. I've been using esthlos-v for some time now, I like it.