Thu, 05 Nov 2026 13:48:51 UTC Log in
standard buildroot riscv64 created Thu, 29 Oct 2026 06:57:33 UTC

Buildroot

Host
build_riscv64_00srpm.koji.hox.org.cn
Arch
riscv64
ID
47119
Task
buildSRPMFromSCM (/rpms/coq.git:d1626a30a6dfa7e777ede19419ba4549ae1c67f7) closed
State
expired
Created
Thu, 29 Oct 2026 06:57:33 UTC
Retired
Thu, 29 Oct 2026 07:01:40 UTC

Repo

Repo ID
864
Repo tag
f45-build
Repo state
expired
Repo created
Thu, 29 Oct 2026 06:36:52 UTC

Contents