2022-11-14 13:12:16,054 - Mock Version: 3.3 2022-11-14 13:12:16,611 - Start: dnf update 2022-11-14 13:12:19,115 - Finish: dnf update 2022-11-14 13:12:19,122 - Finish: chroot init 2022-11-14 13:12:19,125 - Start: build phase for coq-8.16.0-2.fc38.src.rpm 2022-11-14 13:12:19,126 - Start: build setup for coq-8.16.0-2.fc38.src.rpm 2022-11-14 13:12:54,098 - Finish: build setup for coq-8.16.0-2.fc38.src.rpm 2022-11-14 13:12:54,099 - Start: rpmbuild coq-8.16.0-2.fc38.src.rpm 2022-11-14 13:37:06,501 - Finish: rpmbuild coq-8.16.0-2.fc38.src.rpm 2022-11-14 13:37:06,713 - Finish: build phase for coq-8.16.0-2.fc38.src.rpm