Information for build coq-8.7.1-7.fc29
| ID | 64658 |
|---|---|
| Package Name | coq |
| Version | 8.7.1 |
| Release | 7.fc29 |
| Epoch | |
| Built by | davidlt |
| State | failed |
| Volume | DEFAULT |
| Started | Thu, 29 Nov 2018 07:13:45 UTC |
| Completed | Thu, 29 Nov 2018 10:40:15 UTC |
| Task | build (f29-candidate, coq-8.7.1-7.fc29.src.rpm) |
| Tags | No tags |
| RPMs | No RPMs |
