2019-09-20 13:53:55,862 - Mock Version: 1.4.14
2019-09-20 13:54:13,994 - Start: dnf install
2019-09-20 14:21:27,485 - Finish: dnf install
2019-09-20 14:21:48,785 - Finish: chroot init
2019-09-20 14:21:54,046 - Finish: run
2019-09-20 14:23:44,232 - Mock Version: 1.4.14
2019-09-20 14:24:36,087 - Finish: chroot init
2019-09-20 14:24:36,485 - Start: build phase for coq-8.9.1-4.fc31.src.rpm
2019-09-20 14:24:37,179 - Start: build setup for coq-8.9.1-4.fc31.src.rpm