2020-06-04 19:41:16,368 - Mock Version: 1.4.21
2020-06-04 19:41:25,052 - Start: dnf install
2020-06-04 19:52:19,838 - Finish: dnf install
2020-06-04 19:52:29,058 - Finish: chroot init
2020-06-04 19:52:31,673 - Finish: run
2020-06-04 19:53:18,828 - Mock Version: 1.4.21
2020-06-04 19:53:42,448 - Finish: chroot init
2020-06-04 19:53:42,647 - Start: build phase for coq-8.11.1-1.fc33.src.rpm
2020-06-04 19:53:42,931 - Start: build setup for coq-8.11.1-1.fc33.src.rpm
2020-06-04 19:54:32,013 - Finish: build setup for coq-8.11.1-1.fc33.src.rpm
2020-06-04 19:54:32,018 - Finish: build phase for coq-8.11.1-1.fc33.src.rpm