p4c from home:VaiTon:Ulisse project
Select Your Operating System
Add repository and install manually
For openSUSE Tumbleweed run the following as root:
zypper addrepo https://download.opensuse.org/repositories/home:VaiTon:Ulisse/openSUSE_Tumbleweed/home:VaiTon:Ulisse.repo zypper refresh zypper install p4c
For openSUSE Factory RISCV run the following as root:
zypper addrepo https://download.opensuse.org/repositories/home:VaiTon:Ulisse/openSUSE_Factory_RISCV/home:VaiTon:Ulisse.repo zypper refresh zypper install p4c