2022-12-30 04:50:41,940 - Mock Version: 3.5
2022-12-30 04:50:43,745 - Start: dnf update
2022-12-30 04:50:48,743 - Finish: dnf update
2022-12-30 04:50:48,761 - Finish: chroot init
2022-12-30 04:50:48,766 - Start: build phase for yices-2.6.4-5.fc38.src.rpm
2022-12-30 04:50:48,769 - Start: build setup for yices-2.6.4-5.fc38.src.rpm
2022-12-30 04:52:07,032 - Finish: build setup for yices-2.6.4-5.fc38.src.rpm
2022-12-30 04:52:07,034 - Start: rpmbuild yices-2.6.4-5.fc38.src.rpm
2022-12-30 05:00:22,811 - Finish: rpmbuild yices-2.6.4-5.fc38.src.rpm
2022-12-30 05:00:22,948 - Finish: build phase for yices-2.6.4-5.fc38.src.rpm