smtlib2-debug-1.0: dependencies

Dependencies for smtlib2-debug-1.0

library	ansi-terminal (>=0.5) atto-lisp base (>=4 && <5) containers dependent-map (>=0.2) dependent-sum mtl smtlib2 (>=1.0 && <1.1) smtlib2-pipe (>=1.0 && <1.1) text