2018-11-27 06:35:33,535 - Mock Version: 1.4.13
2018-11-27 06:35:47,978 - Start: dnf install
2018-11-27 07:18:03,421 - Finish: dnf install
2018-11-27 07:18:26,423 - Finish: chroot init
2018-11-27 07:18:31,246 - Finish: run
2018-11-27 07:19:39,446 - Mock Version: 1.4.13
2018-11-27 07:20:24,991 - Finish: chroot init
2018-11-27 07:20:25,294 - Start: build phase for coq-8.7.1-7.fc29.src.rpm
2018-11-27 07:20:26,078 - Start: build setup for coq-8.7.1-7.fc29.src.rpm
2018-11-27 09:14:35,657 - Finish: build setup for coq-8.7.1-7.fc29.src.rpm
2018-11-27 09:14:35,667 - Start: rpmbuild coq-8.7.1-7.fc29.src.rpm