2020-06-16 14:20:59,563 - Mock Version: 2.3 2020-06-16 14:20:59,752 - Start: dnf install 2020-06-16 14:21:32,952 - Finish: dnf install 2020-06-16 14:21:33,294 - Finish: chroot init 2020-06-16 14:21:33,346 - Finish: run 2020-06-16 14:21:34,925 - Mock Version: 2.3 2020-06-16 14:21:35,169 - Finish: chroot init 2020-06-16 14:21:35,173 - Start: chroot ['uname -r'] 2020-06-16 14:21:35,224 - Finish: chroot ['uname -r'] 2020-06-16 14:21:37,310 - Mock Version: 2.3 2020-06-16 14:21:38,015 - Finish: chroot init 2020-06-16 14:21:38,018 - Start: build phase for coq-8.11.2-1.fc32.src.rpm 2020-06-16 14:21:38,024 - Start: build setup for coq-8.11.2-1.fc32.src.rpm 2020-06-16 14:22:52,649 - Finish: build setup for coq-8.11.2-1.fc32.src.rpm 2020-06-16 14:22:52,650 - Start: rpmbuild coq-8.11.2-1.fc32.src.rpm 2020-06-16 14:49:06,730 - Finish: rpmbuild coq-8.11.2-1.fc32.src.rpm 2020-06-16 14:49:06,773 - Finish: build phase for coq-8.11.2-1.fc32.src.rpm 2020-06-16 14:49:06,778 - Finish: run