2018-11-24 14:36:35,512 - Mock Version: 1.4.13
2018-11-24 14:36:44,853 - Start: dnf install
2018-11-24 15:06:31,145 - Finish: dnf install
2018-11-24 15:06:42,678 - Finish: chroot init
2018-11-24 15:06:45,738 - Finish: run
2018-11-24 15:07:23,300 - Mock Version: 1.4.13
2018-11-24 15:07:45,783 - Finish: chroot init
2018-11-24 15:07:46,033 - Start: build phase for coq-8.7.1-7.fc29.src.rpm
2018-11-24 15:07:46,439 - Start: build setup for coq-8.7.1-7.fc29.src.rpm
2018-11-24 16:34:28,551 - Finish: build setup for coq-8.7.1-7.fc29.src.rpm
2018-11-24 16:34:28,558 - Start: rpmbuild coq-8.7.1-7.fc29.src.rpm