2021-01-29 12:28:01,918 - Mock Version: 2.9
2021-01-29 12:28:02,591 - Start: dnf update
2021-01-29 12:28:05,215 - Finish: dnf update
2021-01-29 12:28:05,223 - Finish: chroot init
2021-01-29 12:28:05,226 - Start: build phase for coq-8.12.2-1.fc34.src.rpm
2021-01-29 12:28:05,228 - Start: build setup for coq-8.12.2-1.fc34.src.rpm
2021-01-29 12:30:08,987 - Finish: build setup for coq-8.12.2-1.fc34.src.rpm
2021-01-29 12:30:08,988 - Start: rpmbuild coq-8.12.2-1.fc34.src.rpm
2021-01-29 13:12:27,529 - Finish: rpmbuild coq-8.12.2-1.fc34.src.rpm
2021-01-29 13:12:27,715 - Finish: build phase for coq-8.12.2-1.fc34.src.rpm