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]

Warnings:

'ghc-options: -O2' is rarely needed. Check that it is giving a real benefit and not just imposing longer compile times on your users.
'ghc-prof-options: -O2' is rarely needed. Check that it is giving a real benefit and not just imposing longer compile times on your users.
'ghc-prof-options: -fprof*' profiling flags are typically not appropriate for a distributed library package. These flags are useful to profile this package, but when profiling other packages that use this one these flags clutter the profile output with excessive detail. If you think other packages really want to see cost centres from this package then use '-fprof-auto-exported' which puts cost centres only on exported functions. Alternatively, if you want to use this, make it conditional based on a Cabal configuration flag (with 'manual: True' and 'default: False') and enable that flag during development.
'ghc-prof-options: -fprof*' profiling flags are typically not appropriate for a distributed library package. These flags are useful to profile this package, but when profiling other packages that use this one these flags clutter the profile output with excessive detail. If you think other packages really want to see cost centres from this package then use '-fprof-auto-exported' which puts cost centres only on exported functions. Alternatively, if you want to use this, make it conditional based on a Cabal configuration flag (with 'manual: True' and 'default: False') and enable that flag during development.

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

Properties

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.9.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, 3.2.0
Change log	CHANGES.md
Dependencies	ansi-terminal, array (>=0.4), async (>=2.2 && <2.3), base (>=4.8 && <5), base-compat (>=0.6 && <0.12), blaze-html, bv-sized (>=1.0 && <1.1), bytestring (>=0.10), containers (>=0.5), cryptohash-sha1 (>=0.11 && <0.12), cryptol, deepseq (>=1.3), directory (>=1.2.2.0), exceptions, filepath (>=1.3), gitrev (>=1.0), GraphSCC (>=1.0.4), haskeline (>=0.7 && <0.9), heredoc (>=0.2), libBF (>=0.5.1), monad-control (>=1.0), monadLib (>=3.7.2), mtl (>=2.2.1), panic (>=0.3), parameterized-utils (>=2.0.2), pretty (>=1.1), process (>=1.2), random (>=1.0.1), sbv (>=8.6), simple-smt (>=0.7.1), strict, text (>=1.1), tf-random (>=0.5), time (>=1.6.0.1), transformers, transformers-base (>=0.4), what4 (>=1.0 && <1.1) [details]
License	BSD-3-Clause
Copyright	2013-2020 Galois Inc.
Author	Galois, Inc.
Maintainer	cryptol@galois.com
Category	Language
Home page	http://www.cryptol.net/
Bug tracker	https://github.com/GaloisInc/cryptol/issues
Source repo	head: git clone https://github.com/GaloisInc/cryptol.git this: git clone https://github.com/GaloisInc/cryptol.git(tag 2.9.0)
Uploaded	by AaronTomb at 2020-07-29T15:06:57Z

Modules

[Index] [Quick Jump]

Cryptol

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.9.0.tar.gz [browse] (Cabal source package)
Package description (as included in the package)

Maintainer's Corner

Package maintainers

IavorDiatchki, ryanglscott, galoisinc, mccleeary

For package maintainers and hackage trustees

edit package information