sequent-core-0.2.0.1: dependencies

Dependencies for sequent-core-0.2.0.1

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