2020-05-07 15:51:09,844 - Mock Version: 1.4.21
2020-05-07 15:51:17,753 - Start: dnf install
2020-05-07 16:01:37,388 - Finish: dnf install
2020-05-07 16:01:46,313 - Finish: chroot init
2020-05-07 16:01:48,846 - Finish: run
2020-05-07 16:02:30,357 - Mock Version: 1.4.21
2020-05-07 16:02:56,074 - Finish: chroot init
2020-05-07 16:02:56,193 - Start: build phase for coq-8.11.0-5.fc33.src.rpm
2020-05-07 16:02:56,381 - Start: build setup for coq-8.11.0-5.fc33.src.rpm
2020-05-07 16:03:46,170 - Finish: build setup for coq-8.11.0-5.fc33.src.rpm
2020-05-07 16:03:46,188 - Finish: build phase for coq-8.11.0-5.fc33.src.rpm