2020-03-29 12:42:12,065 - Mock Version: 1.4.21
2020-03-29 12:42:19,628 - Start: dnf install
2020-03-29 12:52:20,676 - Finish: dnf install
2020-03-29 12:52:28,279 - Finish: chroot init
2020-03-29 12:52:30,163 - Finish: run
2020-03-29 12:52:57,947 - Mock Version: 1.4.21
2020-03-29 12:53:16,388 - Finish: chroot init
2020-03-29 12:53:16,508 - Start: build phase for coq-8.11.0-1.fc33.src.rpm
2020-03-29 12:53:16,698 - Start: build setup for coq-8.11.0-1.fc33.src.rpm
2020-03-29 12:53:52,069 - Finish: build setup for coq-8.11.0-1.fc33.src.rpm
2020-03-29 12:53:52,075 - Finish: build phase for coq-8.11.0-1.fc33.src.rpm