liquid-fixpoint-0.8.10.2: dependencies

Dependencies for liquid-fixpoint-0.8.10.2

library	ansi-terminal array async attoparsec base (>=4.9.1.0 && <5) binary boxes cereal cmdargs containers deepseq directory fgl filepath hashable intern mtl parallel parsec pretty (>=1.1.3.1) process syb text text-format transformers unordered-containers if !os(windows) ascii-progress (>=0.3)
fixpoint	base (>=4.9.1.0 && <5) liquid-fixpoint

Name	Description	Default
devel	turn on stricter error reporting for development	Disabled

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