coq from home:HuangZeshun:PowerPC project
Vælg dit styresystem
Tilføj softwarekilde og installér manuelt
For standard kør følgende som root:
zypper addrepo https://download.opensuse.org/repositories/home:HuangZeshun:PowerPC/standard/home:HuangZeshun:PowerPC.repo zypper refresh zypper install coq