2020-01-22 04:48:54,197 - Mock Version: 1.4.21 2020-01-22 04:48:54,368 - Start: dnf install 2020-01-22 04:49:33,457 - Finish: dnf install 2020-01-22 04:49:33,717 - Finish: chroot init 2020-01-22 04:49:33,748 - Finish: run 2020-01-22 04:49:35,400 - Mock Version: 1.4.21 2020-01-22 04:49:35,657 - Finish: chroot init 2020-01-22 04:49:35,659 - Start: chroot ['uname -r'] 2020-01-22 04:49:35,703 - Finish: chroot ['uname -r'] 2020-01-22 04:49:38,811 - Mock Version: 1.4.21 2020-01-22 04:49:39,343 - Finish: chroot init 2020-01-22 04:49:39,345 - Start: build phase for coq-8.9.1-12.fc32.src.rpm 2020-01-22 04:49:39,349 - Start: build setup for coq-8.9.1-12.fc32.src.rpm 2020-01-22 04:51:10,567 - Finish: build setup for coq-8.9.1-12.fc32.src.rpm 2020-01-22 04:51:10,569 - Start: rpmbuild coq-8.9.1-12.fc32.src.rpm 2020-01-22 05:11:28,632 - Finish: rpmbuild coq-8.9.1-12.fc32.src.rpm 2020-01-22 05:11:28,735 - Finish: build phase for coq-8.9.1-12.fc32.src.rpm 2020-01-22 05:11:28,739 - Finish: run