Para openSUSE Tumbleweed corra o seguinte como root:
zypper addrepo https://download.opensuse.org/repositories/science/openSUSE_Tumbleweed/science.repo
zypper refresh
zypper install coq
Para openSUSE Factory PowerPC corra o seguinte como root:
zypper addrepo https://download.opensuse.org/repositories/science/openSUSE_Factory_PowerPC/science.repo
zypper refresh
zypper install coq
Para 15.6 corra o seguinte como root:
zypper addrepo https://download.opensuse.org/repositories/science/15.6/science.repo
zypper refresh
zypper install coq