2020-08-23 05:50:35,454 - Mock Version: 1.4.21
2020-08-23 05:50:43,734 - Start: dnf install
2020-08-23 06:00:55,049 - Finish: dnf install
2020-08-23 06:01:03,494 - Finish: chroot init
2020-08-23 06:01:05,880 - Finish: run
2020-08-23 06:01:45,754 - Mock Version: 1.4.21
2020-08-23 06:02:09,625 - Finish: chroot init
2020-08-23 06:02:09,820 - Start: build phase for coq-8.11.2-4.fc33.src.rpm
2020-08-23 06:02:10,102 - Start: build setup for coq-8.11.2-4.fc33.src.rpm
2020-08-23 06:02:54,225 - Finish: build setup for coq-8.11.2-4.fc33.src.rpm
2020-08-23 06:02:54,230 - Finish: build phase for coq-8.11.2-4.fc33.src.rpm