Dependencies for Hsmtlib-2.8.8.8

Libraries

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)