Mon, 13 Jan 2025 18:22:18 UTC | login

Information for buildroot f42-build-865817-173520

Hostbpi01.montleon.net
Archriscv64
ID865817
TaskbuildSRPMFromSCM (/rpms/coq.git:3492a6a89aebd0a3ec1709a13559e34cae2a51e6)
Stateexpired
CreatedSun, 12 Jan 2025 13:34:47 UTC
RetiredSun, 12 Jan 2025 13:37:42 UTC
Repo ID173520
Repo Tagf42-build
Repo Stateexpired
Repo CreatedSun, 12 Jan 2025 12:24:43 UTC
Component RPMs
Built RPMs
Component Archives
Built Archives