Dependencies for logic-TPTP-0.6.0.0
Libraries
logic-TPTP
- array
- base (>=4.8.0.0 && <5)
- containers
- mtl
- pointed
- prettyprinter (>=1.2.1.1 && <1.8)
- prettyprinter-ansi-terminal (>=1.0 && <1.2)
- QuickCheck (>=2)
- semigroups
- syb
- text
- transformers (>=0.5)
Executables
TestImportExportImportFile
- base
- logic-TPTP
- optparse-applicative (>=0.11 && <0.19)
- pcre-light
- prettyprinter
- prettyprinter-ansi-terminal
- semigroups
- if !flag(buildtestprograms)
- buildable: False
PrettyPrintFile
- base
- bytestring
- containers
- logic-TPTP
- mtl
- pcre-light
- prettyprinter
- prettyprinter-ansi-terminal
- process
- QuickCheck
- semigroups
- syb
- if !flag(buildtestprograms)
- buildable: False
ParseRandom
- base
- bytestring
- containers
- logic-TPTP
- mtl
- pcre-light
- prettyprinter
- prettyprinter-ansi-terminal
- process
- QuickCheck
- semigroups
- syb
- if !flag(buildtestprograms)
- buildable: False
Flags
Manual Flags
| Name | Description | Default |
|---|---|---|
| buildtestprograms | build test programs | Disabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info