2023-08-09 09:46:49,419 - Mock Version: 3.5
2023-08-09 09:46:58,399 - Start: dnf install
2023-08-09 09:52:30,095 - Finish: dnf install
2023-08-09 09:52:34,765 - Finish: chroot init
2023-08-09 09:52:36,138 - Finish: run
2023-08-09 09:53:14,411 - Mock Version: 3.5
2023-08-09 09:53:23,847 - Finish: chroot init
2023-08-09 09:53:23,945 - Start: chroot ['uname -r']
2023-08-09 09:53:24,341 - Finish: chroot ['uname -r']
2023-08-09 09:54:14,880 - Mock Version: 3.5
2023-08-09 09:54:31,209 - Finish: chroot init
2023-08-09 09:54:31,309 - Start: build phase for yices-2.6.4-6.fc38.src.rpm
2023-08-09 09:54:31,468 - Start: build setup for yices-2.6.4-6.fc38.src.rpm
2023-08-09 10:20:12,231 - Finish: build setup for yices-2.6.4-6.fc38.src.rpm
2023-08-09 10:20:12,264 - Start: Outputting list of installed packages
2023-08-09 10:20:15,334 - Finish: Outputting list of installed packages
2023-08-09 10:20:15,339 - Start: rpmbuild yices-2.6.4-6.fc38.src.rpm
2023-08-09 11:23:16,391 - Finish: rpmbuild yices-2.6.4-6.fc38.src.rpm
2023-08-09 11:23:16,397 - Finish: build phase for yices-2.6.4-6.fc38.src.rpm