cryptol

Domain-specific language for specifying cryptographic algorithms

Current versions:
2.4.0HEAD

Homepage:http://www.cryptol.net/

Dependencies

cryptol requires the following formulae to be installed:

Formula history

Mike McQuaidUse hash rockets again. (#5177)
Mike McQuaidUse Ruby 1.9+ symbol hash keys in all formulae. (#4942)
ilovezfscryptol 2.4.0
Misty De Meocryptol: sbv fixes have been upstreamed
ilovezfscryptol: GHC 8 compatibility
ilovezfscryptol: trigger CI
Adam C. Foltzercryptol 2.3.0
Miëtek Bakcryptol: simplify formula
Adam C. Foltzercryptol 2.2.6
Nikolaus WittensteinAdd descriptions to all remaining homebrew packages
Show all revisions of this formula