2020-01-10 16:33:42,621 - Mock Version: 1.4.14
2020-01-10 16:33:50,135 - Start: dnf install
2020-01-10 16:44:32,964 - Finish: dnf install
2020-01-10 16:44:42,415 - Finish: chroot init
2020-01-10 16:44:44,421 - Finish: run
2020-01-10 16:45:32,779 - Mock Version: 1.4.14
2020-01-10 16:45:55,378 - Finish: chroot init
2020-01-10 16:45:55,580 - Start: build phase for coq-8.9.1-10.fc32.src.rpm
2020-01-10 16:45:55,933 - Start: build setup for coq-8.9.1-10.fc32.src.rpm