2023-08-13 12:46:20,189 - Mock Version: 3.5 2023-08-13 12:46:29,413 - Start: dnf install 2023-08-13 12:52:24,980 - Finish: dnf install 2023-08-13 12:52:29,870 - Finish: chroot init 2023-08-13 12:52:31,245 - Finish: run 2023-08-13 12:53:10,483 - Mock Version: 3.5 2023-08-13 12:53:20,272 - Finish: chroot init 2023-08-13 12:53:20,375 - Start: chroot ['uname -r'] 2023-08-13 12:53:20,791 - Finish: chroot ['uname -r'] 2023-08-13 12:54:11,928 - Mock Version: 3.5 2023-08-13 12:54:28,804 - Finish: chroot init 2023-08-13 12:54:28,904 - Start: build phase for Agda-2.6.2.2-38.fc38.src.rpm 2023-08-13 12:54:29,062 - Start: build setup for Agda-2.6.2.2-38.fc38.src.rpm 2023-08-13 12:54:44,875 - Finish: build setup for Agda-2.6.2.2-38.fc38.src.rpm 2023-08-13 12:54:44,879 - Finish: build phase for Agda-2.6.2.2-38.fc38.src.rpm