Information for buildroot f37-build-644930-72251
Host | unmatchedbuild03.davidlt.org |
---|---|
Arch | riscv64 |
ID | 644930 |
Task | buildArch (why3-1.5.1-1.fc37.src.rpm, riscv64) |
State | |
Created | Mon, 10 Oct 2022 13:37:39 UTC |
Retired | Mon, 10 Oct 2022 13:42:23 UTC |
Repo ID | 72251 |
Repo Tag | f37-build |
Repo State | |
Repo Created | Mon, 10 Oct 2022 13:26:47 UTC |
Component RPMs | |
Built RPMs | |
Component Archives | |
Built Archives |