2018-08-31 09:18:25,634 - Mock Version: 1.4.9
2018-08-31 09:18:46,053 - Start: dnf install
2018-08-31 09:54:53,176 - Finish: dnf install
2018-08-31 09:55:13,901 - Finish: chroot init
2018-08-31 09:55:17,730 - Finish: run
2018-08-31 09:56:16,541 - Mock Version: 1.4.9
2018-08-31 09:57:10,417 - Finish: chroot init
2018-08-31 09:57:11,073 - Start: build phase for coq-8.7.1-7.fc29.src.rpm
2018-08-31 09:57:12,046 - Start: build setup for coq-8.7.1-7.fc29.src.rpm
2018-08-31 12:07:16,949 - Finish: build setup for coq-8.7.1-7.fc29.src.rpm
2018-08-31 12:07:16,957 - Start: rpmbuild coq-8.7.1-7.fc29.src.rpm