Sat, 16 Nov 2024 20:17:35 UTC | login

Information for buildroot f33-build-408236-62732

Hostfedora-riscv-4.gcc143.osuosl.org
Archriscv64
ID408236
TaskbuildSRPMFromSCM (/rpms/coq.git:f6b8319ded8010a7563666bfcd38c19db4d8152e)
Stateexpired
CreatedTue, 05 Jan 2021 14:17:43 UTC
RetiredTue, 05 Jan 2021 14:28:46 UTC
Repo ID62732
Repo Tagf33-build
Repo Statedeleted
Repo CreatedTue, 05 Jan 2021 14:11:25 UTC
Component RPMs
Built RPMs
Component Archives
Built Archives