2020-05-09 09:23:49,985 - Mock Version: 1.4.21
2020-05-09 09:23:57,144 - Start: dnf install
2020-05-09 09:31:39,894 - Finish: dnf install
2020-05-09 09:31:47,360 - Finish: chroot init
2020-05-09 09:31:49,443 - Finish: run
2020-05-09 09:32:24,590 - Mock Version: 1.4.21
2020-05-09 09:32:42,608 - Finish: chroot init
2020-05-09 09:32:42,722 - Start: build phase for coq-8.11.0-5.fc33.src.rpm
2020-05-09 09:32:42,903 - Start: build setup for coq-8.11.0-5.fc33.src.rpm
2020-05-09 09:33:20,996 - Finish: build setup for coq-8.11.0-5.fc33.src.rpm
2020-05-09 09:33:21,002 - Finish: build phase for coq-8.11.0-5.fc33.src.rpm