2020-06-05 07:03:56,194 - Mock Version: 1.4.21
2020-06-05 07:04:02,821 - Start: dnf install
2020-06-05 07:12:46,630 - Finish: dnf install
2020-06-05 07:12:52,452 - Finish: chroot init
2020-06-05 07:12:54,375 - Finish: run
2020-06-05 07:13:29,481 - Mock Version: 1.4.21
2020-06-05 07:13:45,516 - Finish: chroot init
2020-06-05 07:13:45,623 - Start: build phase for coq-8.11.1-1.fc33.src.rpm
2020-06-05 07:13:45,796 - Start: build setup for coq-8.11.1-1.fc33.src.rpm
2020-06-05 07:14:18,467 - Finish: build setup for coq-8.11.1-1.fc33.src.rpm
2020-06-05 07:14:18,471 - Finish: build phase for coq-8.11.1-1.fc33.src.rpm