2020-12-03 02:49:18,016 - Mock Version: 1.4.21
2020-12-03 02:49:24,826 - Start: dnf install
2020-12-03 02:57:27,066 - Finish: dnf install
2020-12-03 02:57:33,725 - Finish: chroot init
2020-12-03 02:57:35,423 - Finish: run
2020-12-03 02:58:05,196 - Mock Version: 1.4.21
2020-12-03 02:58:23,730 - Finish: chroot init
2020-12-03 02:58:23,845 - Start: build phase for coq-8.12.0-3.fc33.1.src.rpm
2020-12-03 02:58:24,044 - Start: build setup for coq-8.12.0-3.fc33.1.src.rpm
2020-12-03 02:59:00,105 - Finish: build setup for coq-8.12.0-3.fc33.1.src.rpm
2020-12-03 02:59:00,109 - Finish: build phase for coq-8.12.0-3.fc33.1.src.rpm