Mon, 02 Dec 2024 22:27:26 UTC | login

Information for buildroot f40-build-793074-138784

Hostmilkvpioneer01.davidlt.org
Archriscv64
ID793074
TaskbuildSRPMFromSCM (/rpms/coq.git:ef4484f9a526bfdd0d5aa12e8b8319d371d8b00d)
Stateexpired
CreatedTue, 19 Mar 2024 19:16:22 UTC
RetiredTue, 19 Mar 2024 19:20:15 UTC
Repo ID138784
Repo Tagf40-build
Repo Statedeleted
Repo CreatedTue, 19 Mar 2024 19:02:31 UTC
Component RPMs
Built RPMs
Component Archives
Built Archives