Information for build coq-8.7.1-7.fc30
| ID | 84712 |
|---|---|
| Package Name | coq |
| Version | 8.7.1 |
| Release | 7.fc30 |
| Epoch | |
| Built by | davidlt |
| State | failed |
| Volume | DEFAULT |
| Started | Sun, 09 Dec 2018 21:10:55 UTC |
| Completed | Mon, 10 Dec 2018 07:17:58 UTC |
| Task | build (f30-candidate, coq-8.7.1-7.fc30.src.rpm) |
| Tags | No tags |
| RPMs | No RPMs |
