liquid-fixpoint-0.5.0.0: dependencies

Dependencies for liquid-fixpoint-0.5.0.0

library	ansi-terminal array async attoparsec base (>=4.7 && <5) bifunctors binary boxes bytestring cereal cmdargs containers deepseq directory dotgen fgl fgl-visualize filemanip filepath ghc-prim hashable intern mtl parallel parsec pretty process syb text text-format transformers unordered-containers if impl(ghc>=7.10.2) located-base if !os(windows) ascii-progress (>=0.3)
fixpoint	base (>=4.7 && <5) liquid-fixpoint