osc copypac from project:openSUSE:Leap:15.1 package:petsc revision:51
The Open Build Service is an openSUSE project.