2018-07-11 13:56:21,621 - Mock Version: 1.3.4
2018-07-11 13:56:21,708 - Start: dnf install
2018-07-11 13:57:01,515 - Finish: dnf install
2018-07-11 13:57:01,758 - Finish: chroot init
2018-07-11 13:57:01,810 - Finish: run
2018-07-11 13:57:03,755 - Mock Version: 1.3.4
2018-07-11 13:57:04,199 - Finish: chroot init
2018-07-11 13:57:04,202 - Start: build phase for coq-8.7.1-6.fc29.src.rpm
2018-07-11 13:57:04,205 - Start: build setup for coq-8.7.1-6.fc29.src.rpm
2018-07-11 13:59:27,759 - Finish: build setup for coq-8.7.1-6.fc29.src.rpm
2018-07-11 13:59:27,759 - Start: rpmbuild coq-8.7.1-6.fc29.src.rpm
2018-07-11 14:14:10,851 - Finish: rpmbuild coq-8.7.1-6.fc29.src.rpm
2018-07-11 14:14:10,854 - Finish: build phase for coq-8.7.1-6.fc29.src.rpm
2018-07-11 14:14:10,855 - Finish: run