Dependencies for cryptol-2.2.5
Libraries
cryptol
- array (>=0.4)
- async (>=2.0)
- base (>=4.6 && <5)
- containers (>=0.5)
- deepseq (>=1.3)
- directory (>=1.2)
- filepath (>=1.3)
- gitrev (>=1.0)
- GraphSCC (>=1.0.4)
- monadLib (>=3.7.2)
- old-time (>=1.1)
- presburger (>=1.3)
- pretty (>=1.1)
- process (>=1.2)
- QuickCheck (>=2.7)
- random (>=1.0.1)
- sbv (>=4.3 && <5.0 || >=5.1 && <5.2)
- smtLib (>=1.0.7)
- syb (>=0.4)
- template-haskell
- text (>=1.1)
- tf-random (>=0.5)
- transformers (>=0.3)
- utf8-string (>=0.3)
- if flag(self-contained)
- heredoc (>=0.2)
Executables
cryptol
- ansi-terminal
- base
- containers
- cryptol
- deepseq
- directory
- filepath
- haskeline
- monadLib
- process
- random
- sbv
- tf-random
- transformers
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 |
self-contained | Compile the text of the Cryptol Prelude into the library | Enabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info