Dependencies for cryptol-2.8.0
Libraries
cryptol
- array (>=0.4)
- base (>=4.8 && <5)
- base-compat (>=0.6 && <0.11)
- bytestring (>=0.10)
- containers (>=0.5)
- cryptohash-sha1 (>=0.11 && <0.12)
- deepseq (>=1.3)
- directory (>=1.2.2.0)
- filepath (>=1.3)
- gitrev (>=1.0)
- GraphSCC (>=1.0.4)
- 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 (>=1.6.0.1)
- transformers-base (>=0.4)
Executables
cryptol
- ansi-terminal
- base
- base-compat
- containers
- cryptol
- directory
- filepath
- haskeline
- monad-control
- text
- transformers
cryptol-html
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