2023-08-08 09:33:18,216 - Mock Version: 3.5
2023-08-08 09:33:34,420 - Start: dnf install
2023-08-08 09:42:28,278 - Finish: dnf install
2023-08-08 09:42:36,298 - Finish: chroot init
2023-08-08 09:42:38,206 - Finish: run
2023-08-08 09:43:44,413 - Mock Version: 3.5
2023-08-08 09:44:00,670 - Finish: chroot init
2023-08-08 09:44:00,814 - Start: chroot ['uname -r']
2023-08-08 09:44:01,458 - Finish: chroot ['uname -r']
2023-08-08 09:45:28,316 - Mock Version: 3.5
2023-08-08 09:45:58,406 - Finish: chroot init
2023-08-08 09:45:58,572 - Start: build phase for yices-2.6.4-6.fc38.src.rpm
2023-08-08 09:45:58,829 - Start: build setup for yices-2.6.4-6.fc38.src.rpm
2023-08-08 10:21:37,928 - Finish: build setup for yices-2.6.4-6.fc38.src.rpm
2023-08-08 10:21:37,982 - Start: Outputting list of installed packages
2023-08-08 10:21:42,389 - Finish: Outputting list of installed packages
2023-08-08 10:21:42,396 - Start: rpmbuild yices-2.6.4-6.fc38.src.rpm
2023-08-08 12:03:40,652 - Finish: rpmbuild yices-2.6.4-6.fc38.src.rpm
2023-08-08 12:03:40,663 - Finish: build phase for yices-2.6.4-6.fc38.src.rpm