2018-06-26 23:02:48,894 - Mock Version: 1.4.9
2018-06-26 23:03:05,551 - Start: dnf install
2018-06-26 23:37:21,235 - Finish: dnf install
2018-06-26 23:37:42,596 - Finish: chroot init
2018-06-26 23:37:46,186 - Finish: run
2018-06-26 23:38:37,388 - Mock Version: 1.4.9
2018-06-26 23:39:22,115 - Finish: chroot init
2018-06-26 23:39:22,582 - Start: build phase for coq-8.7.1-2.fc29.src.rpm
2018-06-26 23:39:23,370 - Start: build setup for coq-8.7.1-2.fc29.src.rpm
2018-06-27 01:25:34,849 - Finish: build setup for coq-8.7.1-2.fc29.src.rpm
2018-06-27 01:25:34,858 - Start: rpmbuild coq-8.7.1-2.fc29.src.rpm