Hsmtlib-2.8.8.8: dependencies

Dependencies for Hsmtlib-2.8.8.8

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