Sun, 25 Oct 2026 04:53:56 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