2023-06-08 06:57:37,231 - Mock Version: 2.15
2023-06-08 06:57:39,009 - Start: dnf install
2023-06-08 07:04:18,544 - Finish: dnf install
2023-06-08 07:04:19,709 - Finish: chroot init
2023-06-08 07:04:20,278 - Finish: run
2023-06-08 07:04:33,917 - Mock Version: 2.15
2023-06-08 07:04:35,767 - Finish: chroot init
2023-06-08 07:04:35,792 - Start: chroot ['uname -r']
2023-06-08 07:04:35,884 - Finish: chroot ['uname -r']
2023-06-08 07:04:51,387 - Mock Version: 2.15
2023-06-08 07:04:55,408 - Finish: chroot init
2023-06-08 07:04:55,433 - Start: build phase for yices-2.6.4-6.fc38.src.rpm
2023-06-08 07:04:55,472 - Start: build setup for yices-2.6.4-6.fc38.src.rpm
2023-06-08 07:19:34,957 - Finish: build setup for yices-2.6.4-6.fc38.src.rpm
2023-06-08 07:19:34,964 - Start: rpmbuild yices-2.6.4-6.fc38.src.rpm
2023-06-08 08:18:18,240 - Finish: rpmbuild yices-2.6.4-6.fc38.src.rpm
2023-06-08 08:18:18,241 - Finish: build phase for yices-2.6.4-6.fc38.src.rpm