Information for buildroot f38-build-698810-87266
Host | unmatchedbuild03.davidlt.org |
---|---|
Arch | riscv64 |
ID | 698810 |
Task | buildSRPMFromSCM (/rpms/coq.git:ab20f06a76c2270d456cb43f9aae54e2b7cb345a) |
State | |
Created | Mon, 20 Mar 2023 16:06:50 UTC |
Retired | Mon, 20 Mar 2023 16:20:07 UTC |
Repo ID | 87266 |
Repo Tag | f38-build |
Repo State | |
Repo Created | Mon, 20 Mar 2023 12:57:56 UTC |
Component RPMs | |
Built RPMs | |
Component Archives | |
Built Archives |