logic-TPTP-0.3.0.0: dependencies

Dependencies for logic-TPTP-0.3.0.0

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