Dependencies for expressions-z3-0.5

Libraries

base (>=4.9 && <4.13)
containers (>=0.5 && <0.7)
expressions (>=0.5 && <0.6)
list-t (>=1.0 && <1.1)
singletons (>=2.2 && <2.6)
transformers (>=0.5.2 && <0.6)
z3 (>=4.1.2 && <4.4)