coq-ide from openSUSE:ALP:Experimental:Slowroll:Staging project

Select Your Operating System

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

Packages for standard: