2020-01-22 04:48:49,373 - Mock Version: 1.4.21 2020-01-22 04:48:49,803 - Start: dnf install 2020-01-22 04:49:34,614 - Finish: dnf install 2020-01-22 04:49:35,124 - Finish: chroot init 2020-01-22 04:49:35,195 - Finish: run 2020-01-22 04:49:38,068 - Mock Version: 1.4.21 2020-01-22 04:49:38,551 - Finish: chroot init 2020-01-22 04:49:38,558 - Start: chroot ['uname -r'] 2020-01-22 04:49:38,638 - Finish: chroot ['uname -r'] 2020-01-22 04:49:41,818 - Mock Version: 1.4.21 2020-01-22 04:49:43,059 - Finish: chroot init 2020-01-22 04:49:43,067 - Start: build phase for coq-8.9.1-12.fc32.src.rpm 2020-01-22 04:49:43,079 - Start: build setup for coq-8.9.1-12.fc32.src.rpm 2020-01-22 04:51:33,391 - Finish: build setup for coq-8.9.1-12.fc32.src.rpm 2020-01-22 04:51:33,394 - Start: rpmbuild coq-8.9.1-12.fc32.src.rpm 2020-01-22 05:28:09,198 - Finish: rpmbuild coq-8.9.1-12.fc32.src.rpm 2020-01-22 05:28:09,570 - Finish: build phase for coq-8.9.1-12.fc32.src.rpm 2020-01-22 05:28:09,581 - Finish: run