2020-06-04 09:09:14,491 - Mock Version: 1.4.21
2020-06-04 09:09:22,512 - Start: dnf install
2020-06-04 09:18:51,706 - Finish: dnf install
2020-06-04 09:18:58,450 - Finish: chroot init
2020-06-04 09:19:00,364 - Finish: run
2020-06-04 09:19:33,850 - Mock Version: 1.4.21
2020-06-04 09:19:54,782 - Finish: chroot init
2020-06-04 09:19:54,910 - Start: build phase for coq-8.11.1-1.fc33.src.rpm
2020-06-04 09:19:55,108 - Start: build setup for coq-8.11.1-1.fc33.src.rpm
2020-06-04 09:20:39,650 - Finish: build setup for coq-8.11.1-1.fc33.src.rpm
2020-06-04 09:20:39,657 - Finish: build phase for coq-8.11.1-1.fc33.src.rpm