2020-08-16 21:50:59,306 - Mock Version: 1.4.21
2020-08-16 21:51:07,922 - Start: dnf install
2020-08-16 22:02:42,504 - Finish: dnf install
2020-08-16 22:03:02,171 - Finish: chroot init
2020-08-16 22:03:03,981 - Finish: run
2020-08-16 22:03:39,138 - Mock Version: 1.4.21
2020-08-16 22:04:05,170 - Finish: chroot init
2020-08-16 22:04:05,283 - Start: build phase for coq-8.11.2-4.fc33.src.rpm
2020-08-16 22:04:05,496 - Start: build setup for coq-8.11.2-4.fc33.src.rpm
2020-08-16 22:04:46,939 - Finish: build setup for coq-8.11.2-4.fc33.src.rpm
2020-08-16 22:04:46,945 - Finish: build phase for coq-8.11.2-4.fc33.src.rpm