2022-12-30 10:06:05,881 - Mock Version: 3.5
2022-12-30 10:06:06,506 - Start: dnf update
2022-12-30 10:06:18,377 - Finish: dnf update
2022-12-30 10:06:18,390 - Finish: chroot init
2022-12-30 10:06:18,393 - Start: build phase for yices-2.6.4-5.fc38.src.rpm
2022-12-30 10:06:18,395 - Start: build setup for yices-2.6.4-5.fc38.src.rpm
2022-12-30 10:06:53,997 - Finish: build setup for yices-2.6.4-5.fc38.src.rpm
2022-12-30 10:06:53,998 - Start: rpmbuild yices-2.6.4-5.fc38.src.rpm
2022-12-30 10:15:13,822 - Finish: rpmbuild yices-2.6.4-5.fc38.src.rpm
2022-12-30 10:15:13,857 - Finish: build phase for yices-2.6.4-5.fc38.src.rpm