Information for build coq-8.7.1-2.fc29
ID | 45334 |
---|---|
Package Name | coq |
Version | 8.7.1 |
Release | 2.fc29 |
Epoch | |
Built by | davidlt |
State | failed |
Volume | DEFAULT |
Started | Tue, 03 Jul 2018 21:58:30 UTC |
Completed | Tue, 03 Jul 2018 22:38:04 UTC |
Task | build (f29-candidate, coq-8.7.1-2.fc29.src.rpm) |
Tags | No tags |
RPMs | No RPMs |