liquid-fixpoint-0.1.0.0: dependencies

Dependencies for liquid-fixpoint-0.1.0.0

library	ansi-terminal array base bifunctors bytestring cmdargs containers deepseq directory filemanip filepath ghc (==7.6.3) ghc-prim hashable (<1.2) mtl parsec pretty process syb text unordered-containers
fixpoint	ansi-terminal array base (>=4 && <5) bifunctors bytestring cmdargs containers deepseq directory filemanip filepath ghc (==7.6.3) ghc-prim hashable (<1.2) liquid-fixpoint mtl parsec pretty process syb text unordered-containers

Automatic Flags

Name	Description	Default
z3mem	Link to Z3	Disabled

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