coq-ide from science project

Select Your Operating System

For openSUSE Tumbleweed run the following as root:
zypper addrepo https://download.opensuse.org/repositories/science/openSUSE_Tumbleweed/science.repo
zypper refresh
zypper install coq-ide
For openSUSE Factory PowerPC run the following as root:
zypper addrepo https://download.opensuse.org/repositories/science/openSUSE_Factory_PowerPC/science.repo
zypper refresh
zypper install coq-ide
For 15.6 run the following as root:
zypper addrepo https://download.opensuse.org/repositories/science/15.6/science.repo
zypper refresh
zypper install coq-ide