2022-12-28 11:53:23,737 - Mock Version: 3.5
2022-12-28 11:53:25,733 - Start: dnf update
2022-12-28 11:53:30,969 - Finish: dnf update
2022-12-28 11:53:30,990 - Finish: chroot init
2022-12-28 11:53:30,998 - Start: build phase for coq-8.16.1-1.fc38.src.rpm
2022-12-28 11:53:31,002 - Start: build setup for coq-8.16.1-1.fc38.src.rpm
2022-12-28 11:54:36,318 - Finish: build setup for coq-8.16.1-1.fc38.src.rpm
2022-12-28 11:54:36,320 - Start: rpmbuild coq-8.16.1-1.fc38.src.rpm
2022-12-28 12:15:52,859 - Finish: rpmbuild coq-8.16.1-1.fc38.src.rpm
2022-12-28 12:15:52,972 - Finish: build phase for coq-8.16.1-1.fc38.src.rpm