Fri, 30 Oct 2026 11:39:28 UTC Log in

f45-build-51827-904

expired

standard buildroot riscv64 created Thu, 29 Oct 2026 16:53:37 UTC

Buildroot

Host: build_riscv64_00srpm.koji.hox.org.cn
Arch: riscv64
ID: 51827
Task: buildSRPMFromSCM (/rpms/cvc5.git:2d196ba666e616cd006ad636d9be9d07cdbfc455) closed
State: expired
Created: Thu, 29 Oct 2026 16:53:37 UTC
Retired: Thu, 29 Oct 2026 16:59:59 UTC

Repo

Repo ID: 904
Repo tag: f45-build
Repo state: ready
Repo created: Thu, 29 Oct 2026 16:36:06 UTC

Contents

Component RPMsinstalled into the chroot
Built RPMsproduced here
Component Archivesinstalled into the chroot
Built Archivesproduced here