2023-12-08 17:18:26,313 - Mock Version: 3.5 2023-12-08 17:18:29,631 - Start: dnf install 2023-12-08 17:23:58,625 - Finish: dnf install 2023-12-08 17:24:00,753 - Finish: chroot init 2023-12-08 17:24:01,361 - Finish: run 2023-12-08 17:24:12,853 - Mock Version: 3.5 2023-12-08 17:24:16,340 - Finish: chroot init 2023-12-08 17:24:16,388 - Start: chroot ['uname -r'] 2023-12-08 17:24:16,533 - Finish: chroot ['uname -r'] 2023-12-08 17:24:29,900 - Mock Version: 3.5 2023-12-08 17:24:37,069 - Finish: chroot init 2023-12-08 17:24:37,124 - Start: build phase for Agda-2.6.4-41.fc40.src.rpm 2023-12-08 17:24:37,212 - Start: build setup for Agda-2.6.4-41.fc40.src.rpm 2023-12-08 17:32:11,313 - Finish: build setup for Agda-2.6.4-41.fc40.src.rpm 2023-12-08 17:32:11,329 - Start: rpmbuild Agda-2.6.4-41.fc40.src.rpm 2023-12-09 03:15:35,632 - Finish: rpmbuild Agda-2.6.4-41.fc40.src.rpm 2023-12-09 03:15:35,633 - Finish: build phase for Agda-2.6.4-41.fc40.src.rpm