2018-07-24 10:16:11,359 - Mock Version: 1.4.9
2018-07-24 10:16:12,464 - Start: dnf install
2018-07-24 10:24:42,247 - Finish: dnf install
2018-07-24 10:24:44,121 - Finish: chroot init
2018-07-24 10:24:45,303 - Finish: run
2018-07-24 10:24:54,076 - Mock Version: 1.4.9
2018-07-24 10:24:57,275 - Finish: chroot init
2018-07-24 10:24:57,308 - Start: build phase for coq-8.7.1-7.fc29.src.rpm
2018-07-24 10:24:57,363 - Start: build setup for coq-8.7.1-7.fc29.src.rpm