2022-12-30 10:06:08,261 - Mock Version: 3.5
2022-12-30 10:06:08,919 - Start: dnf update
2022-12-30 10:06:22,480 - Finish: dnf update
2022-12-30 10:06:22,493 - Finish: chroot init
2022-12-30 10:06:22,496 - Start: build phase for yices-2.6.4-5.fc38.src.rpm
2022-12-30 10:06:22,498 - Start: build setup for yices-2.6.4-5.fc38.src.rpm
2022-12-30 10:07:12,202 - Finish: build setup for yices-2.6.4-5.fc38.src.rpm
2022-12-30 10:07:12,203 - Start: rpmbuild yices-2.6.4-5.fc38.src.rpm
2022-12-30 10:16:46,432 - Finish: rpmbuild yices-2.6.4-5.fc38.src.rpm
2022-12-30 10:16:46,466 - Finish: build phase for yices-2.6.4-5.fc38.src.rpm