2023-05-03 11:33:46,822 - Mock Version: 3.0 2023-05-03 11:33:58,518 - Start: dnf install 2023-05-03 11:43:33,424 - Finish: dnf install 2023-05-03 11:43:40,032 - Finish: chroot init 2023-05-03 11:43:42,973 - Finish: run 2023-05-03 11:44:39,638 - Mock Version: 3.0 2023-05-03 11:44:54,570 - Finish: chroot init 2023-05-03 11:44:54,742 - Start: chroot ['uname -r'] 2023-05-03 11:44:55,384 - Finish: chroot ['uname -r'] 2023-05-03 11:46:12,953 - Mock Version: 3.0 2023-05-03 11:46:37,460 - Finish: chroot init 2023-05-03 11:46:37,568 - Start: build phase for yices-2.6.4-6.fc38.src.rpm 2023-05-03 11:46:37,767 - Start: build setup for yices-2.6.4-6.fc38.src.rpm 2023-05-03 11:47:10,495 - Finish: build setup for yices-2.6.4-6.fc38.src.rpm 2023-05-03 11:47:10,503 - Finish: build phase for yices-2.6.4-6.fc38.src.rpm