2020-08-23 11:38:52,708 - Mock Version: 1.4.21
2020-08-23 11:39:04,507 - Start: dnf install
2020-08-23 11:48:20,839 - Finish: dnf install
2020-08-23 11:48:28,111 - Finish: chroot init
2020-08-23 11:48:30,235 - Finish: run
2020-08-23 11:49:03,393 - Mock Version: 1.4.21
2020-08-23 11:49:27,698 - Finish: chroot init
2020-08-23 11:49:27,812 - Start: build phase for coq-8.11.2-4.fc33.src.rpm
2020-08-23 11:49:27,990 - Start: build setup for coq-8.11.2-4.fc33.src.rpm
2020-08-23 11:50:09,457 - Finish: build setup for coq-8.11.2-4.fc33.src.rpm
2020-08-23 11:50:09,465 - Finish: build phase for coq-8.11.2-4.fc33.src.rpm