Skip to content
Sat, 31 Oct 2026 20:09:44 UTC
·
Log in
Search type
Packages
Builds
Tags
Build Targets
Users
Hosts
RPMs
Search terms
Search
Search elsewhere
RISC-V Koji
riscv-koji.fedoraproject.org
OpenKoji
openkoji.iscas.ac.cn
Official
koji.fedoraproject.org
Hosts
›
Buildroot
›
f45-build-10800-424
›
RPMs
RPMs built in buildroot
f45-build-10800-424
RPMs produced by the build that ran in this buildroot
Component
Built
RPMs 1–7 of 7
NVR
ghc-lifted-async-0.10.2.7-24.fc45.riscv64
ghc-lifted-async-devel-0.10.2.7-24.fc45.riscv64
ghc-lifted-async-doc-0.10.2.7-24.fc45.noarch
ghc-shelly-1.12.1.1-24.fc45.riscv64
ghc-shelly-1.12.1.1-24.fc45.src
ghc-shelly-devel-1.12.1.1-24.fc45.riscv64
ghc-shelly-doc-1.12.1.1-24.fc45.noarch
RPMs 1–7 of 7
