petsc from science project

For openSUSE Tumbleweed run the following as root:

zypper addrepo https://download.opensuse.org/repositories/science/openSUSE_Tumbleweed/science.repo
zypper refresh
zypper install petsc

For 16.0 run the following as root:

zypper addrepo https://download.opensuse.org/repositories/science/16.0/science.repo
zypper refresh
zypper install petsc

For 15.6 run the following as root:

zypper addrepo https://download.opensuse.org/repositories/science/15.6/science.repo
zypper refresh
zypper install petsc

For SLE 15 SP5 run the following as root:

zypper addrepo https://download.opensuse.org/repositories/science/SLE_15_SP5/science.repo
zypper refresh
zypper install petsc

For openSUSE Leap 16.0 run the following as root:

?