Information for buildroot f37-build-672768-75517
| Host | unmatchedbuild04.davidlt.org |
|---|---|
| Arch | riscv64 |
| ID | 672768 |
| Task | buildSRPMFromSCM (/rpms/coq.git:f3e9333b09a82fabca82a9b438c198727d7d441c) |
| State |  |
| Created | Fri, 11 Nov 2022 10:49:09 UTC |
| Retired | Fri, 11 Nov 2022 10:54:48 UTC |
| Repo ID | 75517 |
| Repo Tag | f37-build |
| Repo State |  |
| Repo Created | Fri, 11 Nov 2022 08:57:15 UTC |
| Component RPMs | |
| Built RPMs | |
| Component Archives | |
| Built Archives | |
