Information for buildroot f31-build-99669-33192
Host | fedora-riscv-6.gcc163.osuosl.org |
---|---|
Arch | riscv64 |
ID | 99669 |
Task | buildSRPMFromSCM (/rpms/cvc4.git:8df1bcefe40166fe8345e388e7c98bc2ef419cdb) |
State | ![]() |
Created | Sun, 01 Sep 2019 11:15:36 UTC |
Retired | Sun, 01 Sep 2019 11:49:12 UTC |
Repo ID | 33192 |
Repo Tag | f31-build |
Repo State | ![]() |
Repo Created | Sun, 01 Sep 2019 11:05:54 UTC |
Component RPMs | |
Built RPMs | |
Component Archives | |
Built Archives |