cryptol: Cryptol: The Language of Cryptography

This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.

[maintain] [Publish]

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


Versions 2.2.0, 2.2.1, 2.2.2, 2.2.3, 2.2.4, 2.2.5, 2.2.6, 2.3.0, 2.4.0, 2.5.0, 2.6.0, 2.7.0, 2.8.0, 2.8.0, 2.9.0, 2.9.1, 2.10.0, 2.11.0, 2.12.0, 2.13.0, 3.0.0, 3.1.0
Change log
Dependencies ansi-terminal, array (>=0.4), base (>=4.8 && <5), base-compat (>=0.6 && <0.11), blaze-html, bytestring (>=0.10), containers (>=0.5), cryptohash-sha1 (>=0.11 && <0.12), cryptol, deepseq (>=1.3), directory (>=, filepath (>=1.3), gitrev (>=1.0), GraphSCC (>=1.0.4), haskeline, heredoc (>=0.2), monad-control (>=1.0), monadLib (>=3.7.2), mtl (>=2.2.1), panic (>=0.3), pretty (>=1.1), process (>=1.2), random (>=1.0.1), sbv (>=8.1), simple-smt (>=0.7.1), strict, text (>=1.1), tf-random (>=0.5), time (>=, transformers, transformers-base (>=0.4) [details]
License BSD-3-Clause
Copyright 2013-2019 Galois Inc.
Author Galois, Inc.
Category Language
Home page
Bug tracker
Source repo head: git clone
this: git clone 2.8.0)
Uploaded by AaronTomb at 2019-09-04T19:41:35Z


[Index] [Quick Jump]


Automatic Flags

Create a statically-linked binary


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.


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


Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees