2018-12-09 07:13:28,822 - Mock Version: 1.4.13
2018-12-09 07:13:58,519 - Start: dnf install
2018-12-09 08:16:52,411 - Finish: dnf install
2018-12-09 08:17:50,129 - Finish: chroot init
2018-12-09 08:18:04,561 - Finish: run
2018-12-09 08:21:14,731 - Mock Version: 1.4.13
2018-12-09 08:23:29,496 - Finish: chroot init
2018-12-09 08:23:30,622 - Start: build phase for coq-8.7.1-7.fc30.src.rpm
2018-12-09 08:23:33,630 - Start: build setup for coq-8.7.1-7.fc30.src.rpm
2018-12-09 12:39:49,630 - Finish: build setup for coq-8.7.1-7.fc30.src.rpm
2018-12-09 12:39:49,651 - Start: rpmbuild coq-8.7.1-7.fc30.src.rpm