smt2-parser-0.1.0.1: dependencies

Dependencies for smt2-parser-0.1.0.1

library	base (>=4.13.0 && <5) parsec (>=3.1.14) text (>=1.2.4)