cryptol 2.12.0-75

Architecture:x86_64
Repository:community
Base Package:cryptol
Description:The Language of Cryptography
Upstream URL:https://www.cryptol.net
License(s):BSD
Package Size:4.7 MB
Installed Size:31.0 MB
Last Packager:Felix Yan
Last Updated:2022-05-22 00:41:20 JST