RPMs built in buildroot dist-oc9-epol-build-92309-59299
| RPMs 1 through 4 of 4 |
NVR  |
|---|
| ghc-idris-1.3.4-1.oc9.aarch64.rpm |
| ghc-idris-devel-1.3.4-1.oc9.aarch64.rpm |
| idris-1.3.4-1.oc9.aarch64.rpm |
| idris-static-1.3.4-1.oc9.aarch64.rpm |
| RPMs 1 through 4 of 4 |
