logic-TPTP-0.4.0.0: dependencies

Dependencies for logic-TPTP-0.4.0.0

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