2023-08-04 06:34:11,010 - Mock Version: 3.5
2023-08-04 06:34:24,911 - Start: dnf install
2023-08-04 06:42:36,323 - Finish: dnf install
2023-08-04 06:42:43,638 - Finish: chroot init
2023-08-04 06:42:45,572 - Finish: run
2023-08-04 06:43:45,684 - Mock Version: 3.5
2023-08-04 06:44:00,321 - Finish: chroot init
2023-08-04 06:44:00,473 - Start: chroot ['uname -r']
2023-08-04 06:44:01,057 - Finish: chroot ['uname -r']
2023-08-04 06:45:21,376 - Mock Version: 3.5
2023-08-04 06:45:47,347 - Finish: chroot init
2023-08-04 06:45:47,511 - Start: build phase for yices-2.6.4-6.fc38.src.rpm
2023-08-04 06:45:47,754 - Start: build setup for yices-2.6.4-6.fc38.src.rpm
2023-08-04 07:20:32,535 - Finish: build setup for yices-2.6.4-6.fc38.src.rpm
2023-08-04 07:20:32,586 - Start: Outputting list of installed packages
2023-08-04 07:20:37,141 - Finish: Outputting list of installed packages
2023-08-04 07:20:37,150 - Start: rpmbuild yices-2.6.4-6.fc38.src.rpm
2023-08-04 08:56:37,043 - Finish: rpmbuild yices-2.6.4-6.fc38.src.rpm
2023-08-04 08:56:37,052 - Finish: build phase for yices-2.6.4-6.fc38.src.rpm