RPMs built in buildroot dist-ocs23-epol9-build-214505-15918
| RPMs 1 through 4 of 4 |
NVR  |
|---|
| ghc-idris-1.3.4-1.ocs23.aarch64.rpm |
| ghc-idris-devel-1.3.4-1.ocs23.aarch64.rpm |
| idris-1.3.4-1.ocs23.aarch64.rpm |
| idris-static-1.3.4-1.ocs23.aarch64.rpm |
| RPMs 1 through 4 of 4 |
