RPMs built in buildroot dist-oc9-epol-build-228366-81203
| RPMs 1 through 4 of 4 |
NVR  |
|---|
| ghc-idris-1.3.4-3.oc9.loongarch64 |
| ghc-idris-devel-1.3.4-3.oc9.loongarch64 |
| idris-1.3.4-3.oc9.loongarch64 |
| idris-static-1.3.4-3.oc9.loongarch64 |
| RPMs 1 through 4 of 4 |
