2023-01-21 22:37:19,564 - Mock Version: 3.5
2023-01-21 22:37:20,341 - Start: dnf update
2023-01-21 22:37:27,261 - Finish: dnf update
2023-01-21 22:37:27,275 - Finish: chroot init
2023-01-21 22:37:27,279 - Start: build phase for yices-2.6.4-5.fc38.src.rpm
2023-01-21 22:37:27,282 - Start: build setup for yices-2.6.4-5.fc38.src.rpm
2023-01-21 22:38:57,874 - Finish: build setup for yices-2.6.4-5.fc38.src.rpm
2023-01-21 22:38:57,875 - Start: rpmbuild yices-2.6.4-5.fc38.src.rpm
2023-01-21 22:45:51,515 - Finish: rpmbuild yices-2.6.4-5.fc38.src.rpm
2023-01-21 22:45:51,560 - Finish: build phase for yices-2.6.4-5.fc38.src.rpm