smtlib2-quickcheck-1.0: dependencies

Dependencies for smtlib2-quickcheck-1.0

library	base (>=4 && <5) containers dependent-map dependent-sum mtl QuickCheck smtlib2 (>=1.0 && <1.1)