2020-06-08 01:00:47,352 - Mock Version: 1.4.21
2020-06-08 01:00:54,725 - Start: dnf install
2020-06-08 01:10:17,287 - Finish: dnf install
2020-06-08 01:10:23,876 - Finish: chroot init
2020-06-08 01:10:25,937 - Finish: run
2020-06-08 01:10:58,042 - Mock Version: 1.4.21
2020-06-08 01:11:14,974 - Finish: chroot init
2020-06-08 01:11:15,084 - Start: build phase for coq-8.11.1-1.fc33.src.rpm
2020-06-08 01:11:15,264 - Start: build setup for coq-8.11.1-1.fc33.src.rpm
2020-06-08 01:11:51,486 - Finish: build setup for coq-8.11.1-1.fc33.src.rpm
2020-06-08 01:11:51,490 - Finish: build phase for coq-8.11.1-1.fc33.src.rpm