smtlib2-pipe-1.0: dependencies

Dependencies for smtlib2-pipe-1.0

library	atto-lisp (>=0.2) attoparsec base (>=4 && <5) blaze-builder bytestring containers dependent-sum mtl process smtlib2 (>=1.0 && <1.1) text transformers