coq-ide from openSUSE:ALP:Experimental:Slowroll:Staging 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:ALP:Experimental:Slowroll:Staging/standard/openSUSE:ALP:Experimental:Slowroll:Staging.repo zypper refresh zypper install coq-ide