Fri, 29 Mar 2024 14:02:04 UTC | login

Information for build coq-8.7.1-2.fc29

ID45334
Package Namecoq
Version8.7.1
Release2.fc29
Epoch
Built bydavidlt
State failed
Volume DEFAULT
StartedTue, 03 Jul 2018 21:58:30 UTC
CompletedTue, 03 Jul 2018 22:38:04 UTC
Taskbuild (f29-candidate, coq-8.7.1-2.fc29.src.rpm)
Tags No tags
RPMs No RPMs