The latest version of cryptol is 3.2.0-0.
cryptol
Version 2.2.4 revision 0 uploaded by AdamFoltzer.
Package meta
- Synopsis
- Cryptol: The Language of Cryptography
- Description
Cryptol is a domain-specific language for specifying cryptographic algorithms. A Cryptol implementation of an algorithm resembles its mathematical specification more closely than an implementation in a general purpose language. For more, see http://www.cryptol.net/.
- Author
- Galois, Inc.
- Bug reports
- https://github.com/GaloisInc/cryptol/issues
- Category
- Language
- Copyright
- 2013-2015 Galois Inc.
- Homepage
- http://www.cryptol.net/
- Maintainer
- cryptol@galois.com
- Package URL
- n/a
- Stability
- n/a