Wed, 26 Feb 2025 13:48:09 UTC | login

Information for buildroot f33-build-586412-66716

Hostfedora-riscv-3.gcc165.osuosl.org
Archriscv64
ID586412
TaskbuildSRPMFromSCM (/rpms/coq.git:f6b8319ded8010a7563666bfcd38c19db4d8152e)
Stateexpired
CreatedSat, 24 Apr 2021 11:29:44 UTC
RetiredSat, 24 Apr 2021 11:46:12 UTC
Repo ID66716
Repo Tagf33-build
Repo Statedeleted
Repo CreatedSat, 24 Apr 2021 11:27:17 UTC
Component RPMs
Built RPMs
Component Archives
Built Archives