Mon, 17 Jun 2024 11:51:13 UTC | login

Information for buildroot f33-build-167825-43511

Hostfedora-riscv-4.gcc162.osuosl.org
Archriscv64
ID167825
TaskbuildArch (coq-8.11.0-1.fc33.src.rpm, riscv64)
Stateexpired
CreatedTue, 31 Mar 2020 18:51:08 UTC
RetiredTue, 31 Mar 2020 19:01:17 UTC
Repo ID43511
Repo Tagf33-build
Repo Statedeleted
Repo CreatedTue, 31 Mar 2020 18:09:13 UTC
Component RPMs
Built RPMs
Component Archives
Built Archives