2022-12-23 22:08:08,249 - Mock Version: 3.5
2022-12-23 22:08:08,906 - Start: dnf update
2022-12-23 22:08:10,951 - Finish: dnf update
2022-12-23 22:08:10,963 - Finish: chroot init
2022-12-23 22:08:10,967 - Start: build phase for coq-8.16.1-1.fc38.src.rpm
2022-12-23 22:08:10,969 - Start: build setup for coq-8.16.1-1.fc38.src.rpm
2022-12-23 22:08:30,811 - Finish: build setup for coq-8.16.1-1.fc38.src.rpm
2022-12-23 22:08:30,812 - Start: rpmbuild coq-8.16.1-1.fc38.src.rpm
2022-12-23 22:23:50,101 - Finish: rpmbuild coq-8.16.1-1.fc38.src.rpm
2022-12-23 22:23:50,246 - Finish: build phase for coq-8.16.1-1.fc38.src.rpm