Hsmtlib-0.2.0.6: dependencies

Dependencies for Hsmtlib-0.2.0.6

library	base (>=4.6 && <=4.7) containers (>=0.5 && <0.6) parsec (>=3.1 && <3.2) pretty (>=1.1 && <1.2) process (>=1.1 && <=1.2) smtLib (>=1.0 && <1.1) transformers (>=0.3 && <0.4)