gentoo.mahdi.cz
dev-lang
:cryptol
Cryptol: The Language of Cryptography
http://www.cryptol.net/
cryptol-2.6.0
BSD
download
~amd64
haskell