atp-0.1.0.0: dependencies

Dependencies for atp-0.1.0.0

library	ansi-wl-pprint (>=0.6.6 && <0.7) base (>=4.8 && <5.0) containers (>=0.5.11 && <0.7) mtl (>=2.2 && <3.0) process (>=1.6.3 && <1.7) text (>=1.2.3 && <1.3) tptp (>=0.1.3 && <0.2) if impl(ghc<8) semigroups (>=0.18 && <1.0)

Name	Description	Default
werror		Disabled
provers		Disabled

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