Dependencies for sequent-core-0.5.0.1
Libraries
sequent-core
- base (>=4 && <5)
- bytestring
- containers
- ghc (>=7.6)
- transformers
Executables
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
Flags
Manual Flags
| Name | Description | Default |
|---|---|---|
| examples | Build example executables. | Disabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info