2020-06-04 00:45:08,180 - Mock Version: 1.4.21
2020-06-04 00:45:18,223 - Start: dnf install
2020-06-04 00:56:13,226 - Finish: dnf install
2020-06-04 00:56:19,479 - Finish: chroot init
2020-06-04 00:56:21,186 - Finish: run
2020-06-04 00:56:53,466 - Mock Version: 1.4.21
2020-06-04 00:57:11,612 - Finish: chroot init
2020-06-04 00:57:11,734 - Start: build phase for coq-8.11.1-1.fc33.src.rpm
2020-06-04 00:57:11,927 - Start: build setup for coq-8.11.1-1.fc33.src.rpm
2020-06-04 00:57:51,414 - Finish: build setup for coq-8.11.1-1.fc33.src.rpm
2020-06-04 00:57:51,418 - Finish: build phase for coq-8.11.1-1.fc33.src.rpm