sequent-core-0.2.0.0: dependencies

Dependencies for sequent-core-0.2.0.0

library	base (<0) containers ghc (>=7.6) transformers
DumpExpl	base (>=4 && <5) sequent-core
SpecConstrExpl	base (>=4 && <5) containers sequent-core
SimplExpl	base (>=4 && <5) sequent-core