cryptol: Cryptol: The Language of Cryptography

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/.

Modules

[Index] [Quick Jump]

Flags

Automatic Flags

Name	Description	Default
static	Create a statically-linked binary	Disabled
relocatable	Don't use the Cabal-provided data directory for looking up Cryptol libraries. This is useful when the data directory can't be known ahead of time, like for a relocatable distribution.	Enabled

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info

Downloads

• cryptol-2.6.0.tar.gz [browse] (Cabal source package)
• Package description (revised from the package)

Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.

Maintainer's Corner

Package maintainers

• IavorDiatchki, ryanglscott, galoisinc

For package maintainers and hackage trustees

• edit package information

Candidates

• 2.6.0, 2.7.0, 2.8.0, 2.9.0, 2.9.1, 2.10.0, 2.11.0