2019-08-14 02:57:51,512 - Mock Version: 1.4.14
2019-08-14 02:58:12,172 - Start: dnf install
2019-08-14 03:25:31,756 - Finish: dnf install
2019-08-14 03:25:55,278 - Finish: chroot init
2019-08-14 03:25:59,826 - Finish: run
2019-08-14 03:27:59,237 - Mock Version: 1.4.14
2019-08-14 03:28:58,863 - Finish: chroot init
2019-08-14 03:28:59,289 - Start: build phase for coq-8.9.1-4.fc31.src.rpm
2019-08-14 03:29:00,051 - Start: build setup for coq-8.9.1-4.fc31.src.rpm