Mon, 02 Nov 2026 19:00:43 UTC Log in
standard buildroot riscv64 created Thu, 29 Oct 2026 18:24:29 UTC

Buildroot

Host
build_riscv64_00srpm.koji.hox.org.cn
Arch
riscv64
ID
52533
Task
buildSRPMFromSCM (/rpms/idris2.git:346243b11b742432dcd3c00889fcfc6bcddfd7d1) closed
State
expired
Created
Thu, 29 Oct 2026 18:24:29 UTC
Retired
Thu, 29 Oct 2026 18:29:16 UTC

Repo

Repo ID
910
Repo tag
f45-build
Repo state
ready
Repo created
Thu, 29 Oct 2026 18:11:18 UTC

Contents