2020-06-09 10:21:22,656 - Mock Version: 1.4.21
2020-06-09 10:21:29,790 - Start: dnf install
2020-06-09 10:30:11,099 - Finish: dnf install
2020-06-09 10:30:20,375 - Finish: chroot init
2020-06-09 10:30:22,756 - Finish: run
2020-06-09 10:31:05,845 - Mock Version: 1.4.21
2020-06-09 10:31:31,715 - Finish: chroot init
2020-06-09 10:31:31,914 - Start: build phase for coq-8.11.1-1.fc33.src.rpm
2020-06-09 10:31:32,236 - Start: build setup for coq-8.11.1-1.fc33.src.rpm
2020-06-09 10:32:20,054 - Finish: build setup for coq-8.11.1-1.fc33.src.rpm
2020-06-09 10:32:20,060 - Finish: build phase for coq-8.11.1-1.fc33.src.rpm