Sat, 14 Dec 2024 13:15:51 UTC | login

Information for buildroot f33-build-137993-42110

Hostfedora-riscv-3.gcc164.osuosl.org
Archriscv64
ID137993
TaskbuildSRPMFromSCM (/rpms/yices.git:26ecb5e37f7ca9b6f55f7769242761890fb434bd)
Stateexpired
CreatedSat, 28 Mar 2020 16:18:53 UTC
RetiredSat, 28 Mar 2020 16:37:34 UTC
Repo ID42110
Repo Tagf33-build
Repo Statedeleted
Repo CreatedSat, 28 Mar 2020 16:15:37 UTC
Component RPMs
Built RPMs
Component Archives
Built Archives