Dependencies for cryptol-2.11.0
Libraries
cryptol
- array (>=0.4)
- async (>=2.2 && <2.3)
- base (>=4.8 && <5)
- base-compat (>=0.6 && <0.12)
- bv-sized (>=1.0 && <1.1)
- bytestring (>=0.10)
- containers (>=0.5)
- cryptohash-sha1 (>=0.11 && <0.12)
- deepseq (>=1.3)
- directory (>=1.2.2.0)
- exceptions
- filepath (>=1.3)
- ghc-prim
- gitrev (>=1.0)
- GraphSCC (>=1.0.4)
- heredoc (>=0.2)
- integer-gmp (>=1.0 && <1.1)
- libBF (>=0.6 && <0.7)
- MemoTrie (>=0.6 && <0.7)
- 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 && <8.13)
- simple-smt (>=0.7.1)
- stm (>=2.4)
- strict
- text (>=1.1)
- tf-random (>=0.5)
- time (>=1.6.0.1)
- transformers-base (>=0.4)
- what4 (>=1.1 && <1.2)
Executables
cryptol
- ansi-terminal
- base
- base-compat
- containers
- cryptol
- directory
- filepath
- haskeline (>=0.7 && <0.9)
- monad-control
- text
- transformers
cryptol-html
check-exercises
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