2022-11-06 15:12:46,717 - Mock Version: 3.3
2022-11-06 15:12:47,178 - Start: dnf update
2022-11-06 15:12:52,162 - Finish: dnf update
2022-11-06 15:12:52,167 - Finish: chroot init
2022-11-06 15:12:52,169 - Start: build phase for yices-2.6.4-4.fc38.src.rpm
2022-11-06 15:12:52,170 - Start: build setup for yices-2.6.4-4.fc38.src.rpm
2022-11-06 15:13:48,016 - Finish: build setup for yices-2.6.4-4.fc38.src.rpm
2022-11-06 15:13:48,017 - Start: rpmbuild yices-2.6.4-4.fc38.src.rpm
2022-11-06 15:20:52,866 - Finish: rpmbuild yices-2.6.4-4.fc38.src.rpm
2022-11-06 15:20:52,900 - Finish: build phase for yices-2.6.4-4.fc38.src.rpm