2020-06-08 20:30:38,637 - Mock Version: 1.4.21
2020-06-08 20:30:46,575 - Start: dnf install
2020-06-08 20:40:06,239 - Finish: dnf install
2020-06-08 20:40:13,789 - Finish: chroot init
2020-06-08 20:40:16,007 - Finish: run
2020-06-08 20:40:48,942 - Mock Version: 1.4.21
2020-06-08 20:41:08,848 - Finish: chroot init
2020-06-08 20:41:08,987 - Start: build phase for coq-8.11.1-1.fc33.src.rpm
2020-06-08 20:41:09,241 - Start: build setup for coq-8.11.1-1.fc33.src.rpm
2020-06-08 20:41:48,451 - Finish: build setup for coq-8.11.1-1.fc33.src.rpm
2020-06-08 20:41:48,455 - Finish: build phase for coq-8.11.1-1.fc33.src.rpm