2020-06-08 12:25:25,179 - Mock Version: 1.4.21
2020-06-08 12:25:34,087 - Start: dnf install
2020-06-08 12:35:27,740 - Finish: dnf install
2020-06-08 12:35:34,961 - Finish: chroot init
2020-06-08 12:35:36,913 - Finish: run
2020-06-08 12:36:15,389 - Mock Version: 1.4.21
2020-06-08 12:36:34,870 - Finish: chroot init
2020-06-08 12:36:34,984 - Start: build phase for coq-8.11.1-1.fc33.src.rpm
2020-06-08 12:36:35,221 - Start: build setup for coq-8.11.1-1.fc33.src.rpm
2020-06-08 12:37:13,423 - Finish: build setup for coq-8.11.1-1.fc33.src.rpm
2020-06-08 12:37:13,429 - Finish: build phase for coq-8.11.1-1.fc33.src.rpm