jurov: What is the best way to obtain working GNAT?
shinohai: 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: ah ok I was referring to http://ave1.org/2018/building-gnat-on-musl-no-more-usrincludex86_64-linux-gnu/ ... sorry for confusion.
jurov: http://fixpoint.welshcomputing.com/2020/the-missing-adacore-public-download-index-vintage-2018-while-it-lasts/ oh my
shinohai: Yup it's a total mess, I did small writeup on it http://btc.info.gf/blog/wip-a-static-gnat-with-musl-nosuchlabs-edition.html
shinohai still needs to clean that up, perhaps mirror all the goodies in one spot as well .....
jurov: and there isn't some stopgap alternative keccak V implementation?
shinohai: Aside from vk.pl I dunno. I've been using esthlos-v for some time now, I like it.