cryptol-2.3.0: dependencies | Hackage

Dependencies for cryptol-2.3.0

library	array (>=0.4) async (>=2.0) base (>=4.7 && <5) base-compat (>=0.6) bytestring (>=0.10) containers (>=0.5) deepseq (>=1.3) deepseq-generics (>=0.1 && <0.2) directory (>=1.2) filepath (>=1.3) generic-trie (>=0.3.0.1) gitrev (>=1.0) GraphSCC (>=1.0.4) heredoc (>=0.2) monad-control (>=1.0) 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 (>=5.7 && <5.15) simple-smt (>=0.6.0) smtLib (>=1.0.7) syb (>=0.4) template-haskell text (>=1.1) tf-random (>=0.5) transformers (>=0.3) transformers-base (>=0.4) utf8-string (>=0.3)
cryptol	ansi-terminal base base-compat containers cryptol deepseq directory filepath haskeline monad-control monadLib process random sbv tf-random transformers
cryptol-server	if flag(server) aeson (>=0.10) aeson-pretty (>=0.7) base base-compat bytestring (>=0.10) containers cryptol filepath monad-control optparse-applicative (>=0.12) text transformers unix unordered-containers (>=0.2) zeromq4-haskell (>=0.6) else buildable: False

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
server	Build with the ZeroMQ/JSON cryptol-server executable	Disabled

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