2020-08-17 03:55:34,441 - Mock Version: 1.4.21
2020-08-17 03:55:42,924 - Start: dnf install
2020-08-17 04:04:32,836 - Finish: dnf install
2020-08-17 04:04:39,837 - Finish: chroot init
2020-08-17 04:04:41,910 - Finish: run
2020-08-17 04:05:24,066 - Mock Version: 1.4.21
2020-08-17 04:05:47,156 - Finish: chroot init
2020-08-17 04:05:47,278 - Start: build phase for coq-8.11.2-4.fc33.src.rpm
2020-08-17 04:05:47,517 - Start: build setup for coq-8.11.2-4.fc33.src.rpm
2020-08-17 04:06:28,431 - Finish: build setup for coq-8.11.2-4.fc33.src.rpm
2020-08-17 04:06:28,435 - Finish: build phase for coq-8.11.2-4.fc33.src.rpm