Error

two or more packages specified (z3 unknown)