2023-07-07 14:03:32,813 - Mock Version: 3.5
2023-07-07 14:03:42,527 - Start: dnf install
2023-07-07 14:09:18,643 - Finish: dnf install
2023-07-07 14:09:23,719 - Finish: chroot init
2023-07-07 14:09:25,077 - Finish: run
2023-07-07 14:10:03,085 - Mock Version: 3.5
2023-07-07 14:10:12,442 - Finish: chroot init
2023-07-07 14:10:12,538 - Start: chroot ['uname -r']
2023-07-07 14:10:12,926 - Finish: chroot ['uname -r']
2023-07-07 14:11:03,338 - Mock Version: 3.5
2023-07-07 14:11:20,204 - Finish: chroot init
2023-07-07 14:11:20,304 - Start: build phase for yices-2.6.4-6.fc38.src.rpm
2023-07-07 14:11:20,463 - Start: build setup for yices-2.6.4-6.fc38.src.rpm
2023-07-07 14:37:05,013 - Finish: build setup for yices-2.6.4-6.fc38.src.rpm
2023-07-07 14:37:05,046 - Start: Outputting list of installed packages
2023-07-07 14:37:08,163 - Finish: Outputting list of installed packages
2023-07-07 14:37:08,167 - Start: rpmbuild yices-2.6.4-6.fc38.src.rpm
2023-07-07 15:39:26,819 - Finish: rpmbuild yices-2.6.4-6.fc38.src.rpm
2023-07-07 15:39:26,825 - Finish: build phase for yices-2.6.4-6.fc38.src.rpm