Tue, 17 Dec 2024 02:04:21 UTC | login

Information for buildroot f33-build-603257-67242

Hostfedora-riscv-9.gcc142.osuosl.org
Archriscv64
ID603257
TaskbuildArch (coq-8.12.2-1.fc33.src.rpm, riscv64)
Stateexpired
CreatedSat, 01 May 2021 17:44:24 UTC
RetiredSat, 01 May 2021 18:00:10 UTC
Repo ID67242
Repo Tagf33-build
Repo Statedeleted
Repo CreatedSat, 01 May 2021 17:25:13 UTC
Component RPMs
Built RPMs
Component Archives
Built Archives