cryptol 2.8.0-52.0

Architecture: i686
Repository: i686/community-staging
Description: The Language of Cryptography
Upstream URL:
License(s): BSD
Package Size: 2592.26 kB
Installed Size: 17673.43 kB
Build Date: 2020-02-22 17:02:13
Last Updated: 2020-02-22 18:05:15

Dependencies (94)

Required By (1)

  • libHScryptol-2.8.0-K5AHsw0EeYA6wYeLXSVTeD-ghc8.8.2.so (cryptol) (link)