2020-05-08 12:05:05,360 - Mock Version: 1.4.21
2020-05-08 12:05:14,581 - Start: dnf install
2020-05-08 12:17:12,316 - Finish: dnf install
2020-05-08 12:17:22,551 - Finish: chroot init
2020-05-08 12:17:25,380 - Finish: run
2020-05-08 12:18:09,550 - Mock Version: 1.4.21
2020-05-08 12:18:36,965 - Finish: chroot init
2020-05-08 12:18:37,202 - Start: build phase for coq-8.11.0-5.fc33.src.rpm
2020-05-08 12:18:37,505 - Start: build setup for coq-8.11.0-5.fc33.src.rpm
2020-05-08 12:19:35,156 - Finish: build setup for coq-8.11.0-5.fc33.src.rpm
2020-05-08 12:19:35,161 - Finish: build phase for coq-8.11.0-5.fc33.src.rpm