logic-TPTP-0.4.5.0: dependencies

Dependencies for logic-TPTP-0.4.5.0

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