2020-01-22 04:48:53,742 - Mock Version: 1.4.21 2020-01-22 04:48:54,072 - Start: dnf install 2020-01-22 04:49:28,327 - Finish: dnf install 2020-01-22 04:49:28,717 - Finish: chroot init 2020-01-22 04:49:28,784 - Finish: run 2020-01-22 04:49:30,528 - Mock Version: 1.4.21 2020-01-22 04:49:30,889 - Finish: chroot init 2020-01-22 04:49:30,894 - Start: chroot ['uname -r'] 2020-01-22 04:49:30,959 - Finish: chroot ['uname -r'] 2020-01-22 04:49:33,709 - Mock Version: 1.4.21 2020-01-22 04:49:34,685 - Finish: chroot init 2020-01-22 04:49:34,690 - Start: build phase for coq-8.9.1-12.fc32.src.rpm 2020-01-22 04:49:34,699 - Start: build setup for coq-8.9.1-12.fc32.src.rpm 2020-01-22 04:50:54,836 - Finish: build setup for coq-8.9.1-12.fc32.src.rpm 2020-01-22 04:50:54,838 - Start: rpmbuild coq-8.9.1-12.fc32.src.rpm 2020-01-22 05:14:10,160 - Finish: rpmbuild coq-8.9.1-12.fc32.src.rpm 2020-01-22 05:14:10,258 - Finish: build phase for coq-8.9.1-12.fc32.src.rpm 2020-01-22 05:14:10,266 - Finish: run