2021-01-11 04:58:35,279 - Mock Version: 1.4.21
2021-01-11 04:58:47,478 - Start: dnf install
2021-01-11 05:13:05,954 - Finish: dnf install
2021-01-11 05:13:16,087 - Finish: chroot init
2021-01-11 05:13:18,918 - Finish: run
2021-01-11 05:14:05,050 - Mock Version: 1.4.21
2021-01-11 05:14:36,238 - Finish: chroot init
2021-01-11 05:14:36,440 - Start: build phase for coq-8.12.2-1.fc33.src.rpm
2021-01-11 05:14:36,725 - Start: build setup for coq-8.12.2-1.fc33.src.rpm
2021-01-11 05:15:34,414 - Finish: build setup for coq-8.12.2-1.fc33.src.rpm
2021-01-11 05:15:34,419 - Finish: build phase for coq-8.12.2-1.fc33.src.rpm