Information for buildroot f33-build-243144-50732
Host | fedora-riscv-2.gcc145.osuosl.org |
---|---|
Arch | riscv64 |
ID | 243144 |
Task | buildSRPMFromSCM (/rpms/cvc4.git:891375414613b0aae1bf64057df544e6234a1c84) |
State | ![]() |
Created | Fri, 05 Jun 2020 02:12:02 UTC |
Retired | Fri, 05 Jun 2020 02:22:27 UTC |
Repo ID | 50732 |
Repo Tag | f33-build |
Repo State | ![]() |
Repo Created | Fri, 05 Jun 2020 01:46:05 UTC |
Component RPMs | |
Built RPMs | |
Component Archives | |
Built Archives |