logic-TPTP-0.4.6.0: dependencies

Dependencies for logic-TPTP-0.4.6.0

library	ansi-wl-pprint (<1.0) array base (>=4 && <5) containers mtl (<2.3) pointed QuickCheck (>=2) semigroups syb transformers transformers-compat (>=0.5)