2022-12-23 17:12:56,359 - Mock Version: 3.5
2022-12-23 17:12:57,955 - Start: dnf update
2022-12-23 17:13:07,052 - Finish: dnf update
2022-12-23 17:13:07,068 - Finish: chroot init
2022-12-23 17:13:07,073 - Start: build phase for coq-8.16.1-1.fc38.src.rpm
2022-12-23 17:13:07,076 - Start: build setup for coq-8.16.1-1.fc38.src.rpm
2022-12-23 17:13:54,518 - Finish: build setup for coq-8.16.1-1.fc38.src.rpm
2022-12-23 17:13:54,520 - Start: rpmbuild coq-8.16.1-1.fc38.src.rpm
2022-12-23 17:34:24,181 - Finish: rpmbuild coq-8.16.1-1.fc38.src.rpm
2022-12-23 17:34:25,147 - Finish: build phase for coq-8.16.1-1.fc38.src.rpm