2021-01-27 04:40:06,291 - Mock Version: 1.4.21
2021-01-27 04:40:14,042 - Start: dnf install
2021-01-27 04:49:42,380 - Finish: dnf install
2021-01-27 04:49:49,659 - Finish: chroot init
2021-01-27 04:49:51,498 - Finish: run
2021-01-27 04:50:24,492 - Mock Version: 1.4.21
2021-01-27 04:50:45,169 - Finish: chroot init
2021-01-27 04:50:45,297 - Start: build phase for coq-8.12.2-1.fc33.src.rpm
2021-01-27 04:50:45,492 - Start: build setup for coq-8.12.2-1.fc33.src.rpm
2021-01-27 04:51:26,285 - Finish: build setup for coq-8.12.2-1.fc33.src.rpm
2021-01-27 04:51:26,290 - Finish: build phase for coq-8.12.2-1.fc33.src.rpm