z3-0.3.1: dependencies

Dependencies for z3-0.3.1

library	base (>3 && <5) containers mtl (<2.1 \|\| >2.1)