Main Site Links:

• Summary
• Packages
• Builds
• Tasks
• Tags
• Build Targets
• Users
• Hosts
• Reports
• Search
• API

RPMs built in buildroot f40-build-745349-111851

RPMs 1 through 10 of 10
NVR
ghc-idris-1.3.4-12.fc40.riscv64.rpm
ghc-idris-devel-1.3.4-12.fc40.riscv64.rpm
ghc-idris-doc-1.3.4-12.fc40.noarch.rpm
ghc-idris-prof-1.3.4-12.fc40.riscv64.rpm
idris-1.3.4-12.fc40.src.rpm
idris-1.3.4-12.fc40.riscv64.rpm
idris-common-1.3.4-12.fc40.noarch.rpm
idris-docs-1.3.4-12.fc40.noarch.rpm
idris-manual-1.3.4-12.fc40.noarch.rpm
idris-static-1.3.4-12.fc40.riscv64.rpm
RPMs 1 through 10 of 10