sequent-core-0.5.0.1: dependencies

Dependencies for sequent-core-0.5.0.1

library	base (>=4 && <5) bytestring containers ghc (>=7.6) transformers
DumpExpl	base (>=4 && <5) sequent-core if !flag(examples) buildable: False
SpecConstrExpl	base (>=4 && <5) containers sequent-core if !flag(examples) buildable: False
SimplExpl	base (>=4 && <5) bytestring sequent-core if !flag(examples) buildable: False
CasesExpl	base (>=4 && <5) sequent-core if !flag(examples) buildable: False
SizesExpl	base (>=4 && <5) sequent-core if !flag(examples) buildable: False

Name	Description	Default
examples	Build example executables.	Disabled

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