2022-12-30 06:06:55,385 - Mock Version: 3.5 2022-12-30 06:06:57,581 - Start: dnf update 2022-12-30 06:07:02,435 - Finish: dnf update 2022-12-30 06:07:02,455 - Finish: chroot init 2022-12-30 06:07:02,463 - Start: build phase for yices-2.6.4-5.fc38.src.rpm 2022-12-30 06:07:02,466 - Start: build setup for yices-2.6.4-5.fc38.src.rpm 2022-12-30 06:08:35,503 - Finish: build setup for yices-2.6.4-5.fc38.src.rpm 2022-12-30 06:08:35,505 - Start: rpmbuild yices-2.6.4-5.fc38.src.rpm 2022-12-30 06:14:39,345 - Finish: rpmbuild yices-2.6.4-5.fc38.src.rpm 2022-12-30 06:14:39,383 - Finish: build phase for yices-2.6.4-5.fc38.src.rpm