2018-06-25 19:48:31,867 - Mock Version: 1.4.9
2018-06-25 19:48:32,954 - Start: dnf install
2018-06-25 19:56:42,909 - Finish: dnf install
2018-06-25 19:56:44,432 - Finish: chroot init
2018-06-25 19:56:45,712 - Finish: run
2018-06-25 19:56:55,299 - Mock Version: 1.4.9
2018-06-25 19:56:58,443 - Finish: chroot init
2018-06-25 19:56:58,476 - Start: build phase for coq-8.7.1-2.fc29.src.rpm
2018-06-25 19:56:58,530 - Start: build setup for coq-8.7.1-2.fc29.src.rpm