expressions-z3-0.1.0: dependencies

Dependencies for expressions-z3-0.1.0

library	base (>=4.9 && <4.11) containers (>=0.5 && <0.5.11) expressions (>=0.1 && <0.2) singletons (>=2.2 && <2.4) transformers (>=0.5.2 && <0.5.5) z3 (>=4.1.2 && <4.2)