2018-11-28 17:14:25,820 - Mock Version: 1.4.13
2018-11-28 17:14:34,721 - Start: dnf install
2018-11-28 17:44:37,664 - Finish: dnf install
2018-11-28 17:44:49,628 - Finish: chroot init
2018-11-28 17:44:52,717 - Finish: run
2018-11-28 17:45:28,717 - Mock Version: 1.4.13
2018-11-28 17:45:53,171 - Finish: chroot init
2018-11-28 17:45:53,479 - Start: build phase for coq-8.7.1-7.fc29.src.rpm
2018-11-28 17:45:53,957 - Start: build setup for coq-8.7.1-7.fc29.src.rpm
2018-11-28 19:15:16,458 - Finish: build setup for coq-8.7.1-7.fc29.src.rpm
2018-11-28 19:15:16,466 - Start: rpmbuild coq-8.7.1-7.fc29.src.rpm