expressions-z3-0.5: dependencies

Dependencies for expressions-z3-0.5

library	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)