Thu, 12 Dec 2024 05:01:49 UTC | login

Information for buildroot f33-build-197368-47591

Hostfedora-riscv-10.gcc141.osuosl.org
Archriscv64
ID197368
TaskbuildSRPMFromSCM (/rpms/coq.git:7d90788e23a4356eedbadae53cdc6e1aeed82adc)
Stateexpired
CreatedThu, 07 May 2020 19:39:50 UTC
RetiredThu, 07 May 2020 19:50:05 UTC
Repo ID47591
Repo Tagf33-build
Repo Statedeleted
Repo CreatedThu, 07 May 2020 19:30:48 UTC
Component RPMs
Built RPMs
Component Archives
Built Archives