2020-06-08 07:35:14,677 - Mock Version: 1.4.21
2020-06-08 07:35:21,983 - Start: dnf install
2020-06-08 07:44:35,594 - Finish: dnf install
2020-06-08 07:44:42,203 - Finish: chroot init
2020-06-08 07:44:43,954 - Finish: run
2020-06-08 07:45:17,997 - Mock Version: 1.4.21
2020-06-08 07:45:35,814 - Finish: chroot init
2020-06-08 07:45:35,921 - Start: build phase for coq-8.11.1-1.fc33.src.rpm
2020-06-08 07:45:36,099 - Start: build setup for coq-8.11.1-1.fc33.src.rpm
2020-06-08 07:46:11,684 - Finish: build setup for coq-8.11.1-1.fc33.src.rpm
2020-06-08 07:46:11,688 - Finish: build phase for coq-8.11.1-1.fc33.src.rpm