2023-07-08 09:42:30,909 - Mock Version: 3.5
2023-07-08 09:42:47,838 - Start: dnf install
2023-07-08 09:51:25,953 - Finish: dnf install
2023-07-08 09:51:34,430 - Finish: chroot init
2023-07-08 09:51:36,527 - Finish: run
2023-07-08 09:52:48,582 - Mock Version: 3.5
2023-07-08 09:53:05,152 - Finish: chroot init
2023-07-08 09:53:05,320 - Start: chroot ['uname -r']
2023-07-08 09:53:06,076 - Finish: chroot ['uname -r']
2023-07-08 09:54:33,877 - Mock Version: 3.5
2023-07-08 09:55:02,506 - Finish: chroot init
2023-07-08 09:55:02,674 - Start: build phase for yices-2.6.4-6.fc38.src.rpm
2023-07-08 09:55:02,935 - Start: build setup for yices-2.6.4-6.fc38.src.rpm
2023-07-08 10:30:59,250 - Finish: build setup for yices-2.6.4-6.fc38.src.rpm
2023-07-08 10:30:59,314 - Start: Outputting list of installed packages
2023-07-08 10:31:04,901 - Finish: Outputting list of installed packages
2023-07-08 10:31:04,910 - Start: rpmbuild yices-2.6.4-6.fc38.src.rpm
2023-07-08 12:15:52,405 - Finish: rpmbuild yices-2.6.4-6.fc38.src.rpm
2023-07-08 12:15:52,417 - Finish: build phase for yices-2.6.4-6.fc38.src.rpm