Fri, 28 Feb 2025 07:35:31 UTC | login

Information for buildroot f33-build-228142-49763

Hostfedora-riscv-2.gcc144.osuosl.org
Archriscv64
ID228142
TaskbuildSRPMFromSCM (/rpms/yices.git:2323fdc98b4f0998b23753ee501187b739f51a1c)
Stateexpired
CreatedWed, 03 Jun 2020 19:38:55 UTC
RetiredWed, 03 Jun 2020 19:52:17 UTC
Repo ID49763
Repo Tagf33-build
Repo Statedeleted
Repo CreatedWed, 03 Jun 2020 19:34:32 UTC
Component RPMs
Built RPMs
Component Archives
Built Archives