Mon, 02 Nov 2026 12:15:07 UTC Log in

f45-build-52157-908

expired

standard buildroot riscv64 created Thu, 29 Oct 2026 17:36:33 UTC

Buildroot

Host: build_riscv64_00srpm.koji.hox.org.cn
Arch: riscv64
ID: 52157
Task: buildSRPMFromSCM (/rpms/ghc-copilot-theorem.git:280de33c79d1b9514b06dc703969b4f4904c7bd7) closed
State: expired
Created: Thu, 29 Oct 2026 17:36:33 UTC
Retired: Thu, 29 Oct 2026 17:39:18 UTC

Repo

Repo ID: 908
Repo tag: f45-build
Repo state: ready
Repo created: Thu, 29 Oct 2026 17:26:00 UTC

Contents

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