Information for buildroot f42-build-865817-173520
Host | bpi01.montleon.net |
---|---|
Arch | riscv64 |
ID | 865817 |
Task | buildSRPMFromSCM (/rpms/coq.git:3492a6a89aebd0a3ec1709a13559e34cae2a51e6) |
State | |
Created | Sun, 12 Jan 2025 13:34:47 UTC |
Retired | Sun, 12 Jan 2025 13:37:42 UTC |
Repo ID | 173520 |
Repo Tag | f42-build |
Repo State | |
Repo Created | Sun, 12 Jan 2025 12:24:43 UTC |
Component RPMs | |
Built RPMs | |
Component Archives | |
Built Archives |