2019-08-31 15:50:16,054 - Mock Version: 1.4.14
2019-08-31 15:50:32,598 - Start: dnf install
2019-08-31 16:16:52,185 - Finish: dnf install
2019-08-31 16:17:13,174 - Finish: chroot init
2019-08-31 16:17:17,890 - Finish: run
2019-08-31 16:19:07,375 - Mock Version: 1.4.14
2019-08-31 16:20:01,596 - Finish: chroot init
2019-08-31 16:20:02,216 - Start: build phase for coq-8.9.1-4.fc31.src.rpm
2019-08-31 16:20:02,947 - Start: build setup for coq-8.9.1-4.fc31.src.rpm