2020-05-05 15:07:29,751 - Mock Version: 2.2
2020-05-05 15:07:31,385 - Start: dnf update
2020-05-05 15:07:35,051 - Finish: dnf update
2020-05-05 15:07:35,065 - Finish: chroot init
2020-05-05 15:07:35,068 - Start: build phase for coq-8.11.0-5.fc33.src.rpm
2020-05-05 15:07:35,070 - Start: build setup for coq-8.11.0-5.fc33.src.rpm
2020-05-05 15:08:05,454 - Finish: build setup for coq-8.11.0-5.fc33.src.rpm
2020-05-05 15:08:05,454 - Finish: build phase for coq-8.11.0-5.fc33.src.rpm