2023-06-06 12:55:54,747 - Mock Version: 2.15
2023-06-06 12:55:56,608 - Start: dnf install
2023-06-06 13:02:30,500 - Finish: dnf install
2023-06-06 13:02:31,693 - Finish: chroot init
2023-06-06 13:02:32,242 - Finish: run
2023-06-06 13:02:45,421 - Mock Version: 2.15
2023-06-06 13:02:47,282 - Finish: chroot init
2023-06-06 13:02:47,306 - Start: chroot ['uname -r']
2023-06-06 13:02:47,398 - Finish: chroot ['uname -r']
2023-06-06 13:03:02,975 - Mock Version: 2.15
2023-06-06 13:03:06,946 - Finish: chroot init
2023-06-06 13:03:06,970 - Start: build phase for yices-2.6.4-6.fc38.src.rpm
2023-06-06 13:03:07,011 - Start: build setup for yices-2.6.4-6.fc38.src.rpm
2023-06-06 13:17:58,984 - Finish: build setup for yices-2.6.4-6.fc38.src.rpm
2023-06-06 13:17:58,992 - Start: rpmbuild yices-2.6.4-6.fc38.src.rpm
2023-06-06 14:15:53,145 - Finish: rpmbuild yices-2.6.4-6.fc38.src.rpm
2023-06-06 14:15:53,146 - Finish: build phase for yices-2.6.4-6.fc38.src.rpm