Error

two or more packages specified (python-z3 stretch)