tptp-0.1.3.0: dependencies

Dependencies for tptp-0.1.3.0

library	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)

Name	Description	Default
werror	Build with -Werror	Disabled

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