Dependencies for logic-TPTP-0.5.1.0
Libraries
logic-TPTP
- ansi-wl-pprint (<1.0)
- array
- base (>=4 && <5)
- containers
- mtl
- pointed
- QuickCheck (>=2)
- semigroups
- syb
- transformers
- transformers-compat (>=0.5)
Executables
TestImportExportImportFile
- ansi-wl-pprint
- base
- logic-TPTP
- optparse-applicative (>=0.11 && <0.19)
- pcre-light
- semigroups
- if impl(ghc<7.10)
- pcre-light (<0.4.1)
- if !flag(buildtestprograms)
- buildable: False
PrettyPrintFile
- ansi-wl-pprint
- base
- bytestring
- containers
- logic-TPTP
- mtl
- pcre-light
- process
- QuickCheck
- semigroups
- syb
- if impl(ghc<7.10)
- pcre-light (<0.4.1)
- if !flag(buildtestprograms)
- buildable: False
ParseRandom
- ansi-wl-pprint
- base
- bytestring
- containers
- logic-TPTP
- mtl
- pcre-light
- process
- QuickCheck
- semigroups
- syb
- if impl(ghc<7.10)
- pcre-light (<0.4.1)
- 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