Information for buildroot f37-build-673084-75579
Host | unmatched01.davidlt.org |
---|---|
Arch | riscv64 |
ID | 673084 |
Task | buildSRPMFromSCM (/rpms/cvc4.git:8e6c3569c92af3b606db1ff887cb8986e9a7953e) |
State | |
Created | Fri, 11 Nov 2022 13:26:18 UTC |
Retired | Fri, 11 Nov 2022 13:31:49 UTC |
Repo ID | 75579 |
Repo Tag | f37-build |
Repo State | |
Repo Created | Fri, 11 Nov 2022 11:47:31 UTC |
Component RPMs | |
Built RPMs | |
Component Archives | |
Built Archives |