smt2-parser-0.1.0.0: dependencies

Dependencies for smt2-parser-0.1.0.0

library	base (>=4.13.0 && <4.14) parsec (>=3.1.14 && <3.2) text (>=1.2.4 && <1.3)