osc copypac from project:openSUSE:Leap:15.0 package:z3 revision:3
The Open Build Service is an openSUSE project.