For openSUSE Tumbleweed run the following as root:
zypper addrepo https://download.opensuse.org/repositories/devel:Factory:git-workflow:staging:jirislaby:z3:1/openSUSE_Tumbleweed/devel:Factory:git-workflow:staging:jirislaby:z3:1.repo
zypper refresh
zypper install z3
For openSUSE Factory zSystems run the following as root:
zypper addrepo https://download.opensuse.org/repositories/devel:Factory:git-workflow:staging:jirislaby:z3:1/openSUSE_Factory_zSystems/devel:Factory:git-workflow:staging:jirislaby:z3:1.repo
zypper refresh
zypper install z3
For openSUSE Factory PowerPC run the following as root:
zypper addrepo https://download.opensuse.org/repositories/devel:Factory:git-workflow:staging:jirislaby:z3:1/openSUSE_Factory_PowerPC/devel:Factory:git-workflow:staging:jirislaby:z3:1.repo
zypper refresh
zypper install z3
For openSUSE Factory ARM run the following as root:
zypper addrepo https://download.opensuse.org/repositories/devel:Factory:git-workflow:staging:jirislaby:z3:1/openSUSE_Factory_ARM/devel:Factory:git-workflow:staging:jirislaby:z3:1.repo
zypper refresh
zypper install z3
For 15.6 run the following as root:
zypper addrepo https://download.opensuse.org/repositories/devel:Factory:git-workflow:staging:jirislaby:z3:1/15.6/devel:Factory:git-workflow:staging:jirislaby:z3:1.repo
zypper refresh
zypper install z3
For 15.5 run the following as root:
zypper addrepo https://download.opensuse.org/repositories/devel:Factory:git-workflow:staging:jirislaby:z3:1/15.5/devel:Factory:git-workflow:staging:jirislaby:z3:1.repo
zypper refresh
zypper install z3