Error

two or more packages specified (z3 stretch)