Information for buildroot f31-build-115001-34485
Host | fedora-riscv-5.gcc146.osuosl.org |
---|---|
Arch | riscv64 |
ID | 115001 |
Task | buildSRPMFromSCM (/rpms/cvc4.git:e32cd51007114a5d1d30285f583e0dab3ed5379c) |
State | |
Created | Sat, 21 Sep 2019 17:50:15 UTC |
Retired | Sat, 21 Sep 2019 18:26:28 UTC |
Repo ID | 34485 |
Repo Tag | f31-build |
Repo State | |
Repo Created | Sat, 21 Sep 2019 17:36:51 UTC |
Component RPMs | |
Built RPMs | |
Component Archives | |
Built Archives |