liquid-fixpoint-0.2.3.0: dependencies | Hackage

Dependencies for liquid-fixpoint-0.2.3.0

library	ansi-terminal array attoparsec base (>=4.7 && <5) bifunctors bytestring cmdargs containers deepseq directory filemanip filepath ghc-prim hashable intern mtl parsec pretty process syb text text-format transformers unordered-containers
fixpoint.native	ansi-terminal array base (>=4.7 && <5) bifunctors bytestring cmdargs containers deepseq directory filepath hashable liquid-fixpoint mtl parsec pretty process syb text text-format unordered-containers
fixpoint	ansi-terminal array base (>=4.7 && <5) bifunctors bytestring cmdargs containers deepseq directory filepath hashable liquid-fixpoint mtl parsec pretty process syb text text-format unordered-containers

Flags

Automatic Flags

Name	Description	Default
z3mem	Link to Z3	Disabled
build-external	Build fixpoint.native binary from source (requires ocaml)	Disabled

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