2023-08-17 01:09:25,133 - Mock Version: 3.5 2023-08-17 01:09:34,176 - Start: dnf install 2023-08-17 01:15:11,123 - Finish: dnf install 2023-08-17 01:15:16,202 - Finish: chroot init 2023-08-17 01:15:17,504 - Finish: run 2023-08-17 01:15:55,761 - Mock Version: 3.5 2023-08-17 01:16:05,004 - Finish: chroot init 2023-08-17 01:16:05,106 - Start: chroot ['uname -r'] 2023-08-17 01:16:05,497 - Finish: chroot ['uname -r'] 2023-08-17 01:16:54,486 - Mock Version: 3.5 2023-08-17 01:17:10,781 - Finish: chroot init 2023-08-17 01:17:10,883 - Start: build phase for Agda-2.6.2.2-38.fc38.src.rpm 2023-08-17 01:17:11,043 - Start: build setup for Agda-2.6.2.2-38.fc38.src.rpm 2023-08-17 01:17:26,120 - Finish: build setup for Agda-2.6.2.2-38.fc38.src.rpm 2023-08-17 01:17:26,128 - Finish: build phase for Agda-2.6.2.2-38.fc38.src.rpm