Information for buildroot f32-mpfr4-17774269-1280721
| Host | buildvm-aarch64-15.arm.fedoraproject.org |
|---|---|
| Arch | aarch64 |
| ID | 17774269 |
| Task | buildArch (frama-c-19.1-2.fc32.src.rpm, aarch64) |
| State |  |
| Created | Fri, 11 Oct 2019 21:58:20 UTC |
| Retired | Fri, 11 Oct 2019 22:21:40 UTC |
| Repo ID | 1280721 |
| Repo Tag | f32-mpfr4 |
| Repo State |  |
| Repo Created | Fri, 11 Oct 2019 21:47:00 UTC |
| Component RPMs | |
| Built RPMs | |
| Component Archives | |
| Built Archives | |
