hasmtlib-1.1.1: dependencies

Dependencies for hasmtlib-1.1.1

library	attoparsec (>=0.14.4 && <1) base (>=4.17.2 && <5) bitvec (>=1.1.5 && <2) bytestring (>=0.11.5 && <1) containers (>=0.6.7 && <1) data-default (>=0.7.1 && <1) dependent-map (>=0.4 && <1) finite-typelits (>=0.1.0 && <1) lens (>=5 && <6) mtl (>=2.2.2 && <3) smtlib-backends (>=0.4 && <1) smtlib-backends-process (>=0.3 && <1) some (>=1.0.6 && <1.1) text (>=2.0.2 && <3) utf8-string (>=1.0.2 && <2) vector-sized (>=1 && <2)

library

attoparsec (>=0.14.4 && <1)
base (>=4.17.2 && <5)
bitvec (>=1.1.5 && <2)
bytestring (>=0.11.5 && <1)
containers (>=0.6.7 && <1)
data-default (>=0.7.1 && <1)
dependent-map (>=0.4 && <1)
finite-typelits (>=0.1.0 && <1)
lens (>=5 && <6)
mtl (>=2.2.2 && <3)
smtlib-backends (>=0.4 && <1)
smtlib-backends-process (>=0.3 && <1)
some (>=1.0.6 && <1.1)
text (>=2.0.2 && <3)
utf8-string (>=1.0.2 && <2)
vector-sized (>=1 && <2)