petsc_3_12_2-gnu-openmpi3-hpc from openSUSE:Leap:15.2:Update project
Select Your Operating System
Add repository and install manually
For standard run the following as root:
zypper addrepo https://download.opensuse.org/repositories/openSUSE:Leap:15.2:Update/standard/openSUSE:Leap:15.2:Update.repo zypper refresh zypper install petsc_3_12_2-gnu-openmpi3-hpc
For ports run the following as root:
zypper addrepo https://download.opensuse.org/repositories/openSUSE:Leap:15.2:Update/ports/openSUSE:Leap:15.2:Update.repo zypper refresh zypper install petsc_3_12_2-gnu-openmpi3-hpc