2022-12-28 11:54:54,337 - Mock Version: 3.5
2022-12-28 11:54:55,696 - Start: dnf update
2022-12-28 11:54:59,609 - Finish: dnf update
2022-12-28 11:54:59,625 - Finish: chroot init
2022-12-28 11:54:59,630 - Start: build phase for coq-8.16.1-1.fc38.src.rpm
2022-12-28 11:54:59,632 - Start: build setup for coq-8.16.1-1.fc38.src.rpm
2022-12-28 11:55:42,237 - Finish: build setup for coq-8.16.1-1.fc38.src.rpm
2022-12-28 11:55:42,239 - Start: rpmbuild coq-8.16.1-1.fc38.src.rpm
2022-12-28 12:16:24,011 - Finish: rpmbuild coq-8.16.1-1.fc38.src.rpm
2022-12-28 12:16:24,345 - Finish: build phase for coq-8.16.1-1.fc38.src.rpm