Information for buildroot f33-build-139241-42325
Host | fedora-riscv-7.gcc144.osuosl.org |
---|---|
Arch | riscv64 |
ID | 139241 |
Task | buildSRPMFromSCM (/rpms/coq.git:8ec920a2ed402704518d5903fe4aa19ed454995a) |
State | |
Created | Sat, 28 Mar 2020 19:23:43 UTC |
Retired | Sat, 28 Mar 2020 19:36:19 UTC |
Repo ID | 42325 |
Repo Tag | f33-build |
Repo State | |
Repo Created | Sat, 28 Mar 2020 19:15:37 UTC |
Component RPMs | |
Built RPMs | |
Component Archives | |
Built Archives |