RPMs built in buildroot dist-oc9-epol-build-227398-81154
| RPMs 1 through 4 of 4 |
NVR  |
|---|
| ghc-idris-1.3.4-2.oc9.loongarch64 |
| ghc-idris-devel-1.3.4-2.oc9.loongarch64 |
| idris-1.3.4-2.oc9.loongarch64 |
| idris-static-1.3.4-2.oc9.loongarch64 |
| RPMs 1 through 4 of 4 |
