Dependencies for tptp-0.1.2.0
Libraries
tptp
- attoparsec (>=0.13.2 && <0.14)
- base (>=4.7 && <5.0)
- prettyprinter (>=1.2.1 && <1.5)
- scientific (>=0.3.1 && <0.4)
- text (>=1.2.3 && <1.3)
- if impl(ghc<8)
- semigroups (>=0.16.1 && <1.0)
Flags
Manual Flags
| Name | Description | Default |
|---|---|---|
| werror | Build with -Werror | Disabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info