2023-08-19 11:09:06,744 - Mock Version: 3.5 2023-08-19 11:09:29,766 - Start: dnf install 2023-08-19 11:18:32,493 - Finish: dnf install 2023-08-19 11:18:40,805 - Finish: chroot init 2023-08-19 11:18:43,049 - Finish: run 2023-08-19 11:19:53,107 - Mock Version: 3.5 2023-08-19 11:20:10,620 - Finish: chroot init 2023-08-19 11:20:10,793 - Start: chroot ['uname -r'] 2023-08-19 11:20:11,476 - Finish: chroot ['uname -r'] 2023-08-19 11:21:42,790 - Mock Version: 3.5 2023-08-19 11:22:10,970 - Finish: chroot init 2023-08-19 11:22:11,138 - Start: build phase for yices-2.6.4-6.fc38.src.rpm 2023-08-19 11:22:11,387 - Start: build setup for yices-2.6.4-6.fc38.src.rpm 2023-08-19 11:23:23,829 - Finish: build setup for yices-2.6.4-6.fc38.src.rpm 2023-08-19 11:23:23,836 - Finish: build phase for yices-2.6.4-6.fc38.src.rpm