2023-04-29 01:09:36,591 - Mock Version: 3.0 2023-04-29 01:09:43,695 - Start: dnf install 2023-04-29 01:15:21,853 - Finish: dnf install 2023-04-29 01:15:25,401 - Finish: chroot init 2023-04-29 01:15:27,118 - Finish: run 2023-04-29 01:15:59,157 - Mock Version: 3.0 2023-04-29 01:16:06,582 - Finish: chroot init 2023-04-29 01:16:06,655 - Start: chroot ['uname -r'] 2023-04-29 01:16:06,976 - Finish: chroot ['uname -r'] 2023-04-29 01:16:48,700 - Mock Version: 3.0 2023-04-29 01:17:01,804 - Finish: chroot init 2023-04-29 01:17:01,875 - Start: build phase for yices-2.6.4-6.fc38.src.rpm 2023-04-29 01:17:01,982 - Start: build setup for yices-2.6.4-6.fc38.src.rpm 2023-04-29 01:17:20,675 - Finish: build setup for yices-2.6.4-6.fc38.src.rpm 2023-04-29 01:17:20,679 - Finish: build phase for yices-2.6.4-6.fc38.src.rpm