2023-08-18 23:09:27,994 - Mock Version: 3.5 2023-08-18 23:09:37,037 - Start: dnf install 2023-08-18 23:15:25,327 - Finish: dnf install 2023-08-18 23:15:30,224 - Finish: chroot init 2023-08-18 23:15:31,523 - Finish: run 2023-08-18 23:16:11,241 - Mock Version: 3.5 2023-08-18 23:16:20,661 - Finish: chroot init 2023-08-18 23:16:20,762 - Start: chroot ['uname -r'] 2023-08-18 23:16:21,166 - Finish: chroot ['uname -r'] 2023-08-18 23:17:13,371 - Mock Version: 3.5 2023-08-18 23:17:30,996 - Finish: chroot init 2023-08-18 23:17:31,102 - Start: build phase for Agda-2.6.2.2-38.fc38.src.rpm 2023-08-18 23:17:31,269 - Start: build setup for Agda-2.6.2.2-38.fc38.src.rpm 2023-08-18 23:17:46,903 - Finish: build setup for Agda-2.6.2.2-38.fc38.src.rpm 2023-08-18 23:17:46,907 - Finish: build phase for Agda-2.6.2.2-38.fc38.src.rpm