Tue, 03 Nov 2026 03:40:23 UTC Log in
standard buildroot riscv64 created Thu, 29 Oct 2026 17:33:08 UTC

Buildroot

Host
build_riscv64_00srpm.koji.hox.org.cn
Arch
riscv64
ID
52118
Task
buildSRPMFromSCM (/rpms/gappalib-coq.git:a42cb3ffe46d7bde1d2ed106ca4b35b9d02a8f92) closed
State
expired
Created
Thu, 29 Oct 2026 17:33:08 UTC
Retired
Thu, 29 Oct 2026 17:36:50 UTC

Repo

Repo ID
907
Repo tag
f45-build
Repo state
ready
Repo created
Thu, 29 Oct 2026 17:21:41 UTC

Contents