2018-10-13 19:52:02,270 - Mock Version: 1.4.9 2018-10-13 19:52:03,386 - Start: dnf install 2018-10-13 20:06:42,836 - Finish: dnf install 2018-10-13 20:06:44,752 - Finish: chroot init 2018-10-13 20:06:45,708 - Finish: run 2018-10-13 20:06:56,075 - Mock Version: 1.4.9 2018-10-13 20:06:59,885 - Finish: chroot init 2018-10-13 20:06:59,918 - Start: build phase for coq-8.7.1-7.fc29.src.rpm 2018-10-13 20:06:59,973 - Start: build setup for coq-8.7.1-7.fc29.src.rpm 2018-10-13 20:43:02,026 - Finish: build setup for coq-8.7.1-7.fc29.src.rpm 2018-10-13 20:43:02,027 - Start: rpmbuild coq-8.7.1-7.fc29.src.rpm