logic-TPTP-0.2.0.7: dependencies

Dependencies for logic-TPTP-0.2.0.7

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