2021-04-09 02:03:00,413 - Mock Version: 1.4.21
2021-04-09 02:03:09,661 - Start: dnf install
2021-04-09 02:14:58,936 - Finish: dnf install
2021-04-09 02:15:09,687 - Finish: chroot init
2021-04-09 02:15:12,785 - Finish: run
2021-04-09 02:15:55,360 - Mock Version: 1.4.21
2021-04-09 02:16:25,764 - Finish: chroot init
2021-04-09 02:16:25,921 - Start: build phase for coq-8.12.2-1.fc33.src.rpm
2021-04-09 02:16:26,118 - Start: build setup for coq-8.12.2-1.fc33.src.rpm
2021-04-09 02:17:11,037 - Finish: build setup for coq-8.12.2-1.fc33.src.rpm
2021-04-09 02:17:11,045 - Finish: build phase for coq-8.12.2-1.fc33.src.rpm