2020-08-16 00:33:15,551 - Mock Version: 1.4.21
2020-08-16 00:33:25,232 - Start: dnf install
2020-08-16 00:44:11,970 - Finish: dnf install
2020-08-16 00:44:19,592 - Finish: chroot init
2020-08-16 00:44:21,405 - Finish: run
2020-08-16 00:44:56,451 - Mock Version: 1.4.21
2020-08-16 00:45:17,828 - Finish: chroot init
2020-08-16 00:45:17,944 - Start: build phase for coq-8.11.2-4.fc33.src.rpm
2020-08-16 00:45:18,164 - Start: build setup for coq-8.11.2-4.fc33.src.rpm
2020-08-16 00:45:50,476 - Finish: build setup for coq-8.11.2-4.fc33.src.rpm
2020-08-16 00:45:50,482 - Finish: build phase for coq-8.11.2-4.fc33.src.rpm