Sat, 24 Oct 2026 23:02:10 UTC | login

RPMs built in buildroot f45-build-14102-456

RPMs 1 through 9 of 9
NVR ascending sort
ghc-idris-1.3.4-27.fc45.riscv64
ghc-idris-devel-1.3.4-27.fc45.riscv64
ghc-idris-doc-1.3.4-27.fc45.noarch
idris-1.3.4-27.fc45.src
idris-1.3.4-27.fc45.riscv64
idris-common-1.3.4-27.fc45.noarch
idris-docs-1.3.4-27.fc45.noarch
idris-manual-1.3.4-27.fc45.noarch
idris-static-1.3.4-27.fc45.riscv64
RPMs 1 through 9 of 9