2025-10-18 10:16:49,620 - Mock Version: 4.1
2025-10-18 10:16:49,756 - Start: installing minimal buildroot with dnf
2025-10-18 10:17:35,909 - Finish: installing minimal buildroot with dnf
2025-10-18 10:17:36,093 - Finish: chroot init
2025-10-18 10:17:36,182 - Finish: run
2025-10-18 10:17:37,326 - Mock Version: 4.1
2025-10-18 10:17:37,466 - Finish: chroot init
2025-10-18 10:17:37,468 - Start: chroot ['uname -r']
2025-10-18 10:17:37,485 - Finish: chroot ['uname -r']
2025-10-18 10:17:40,713 - Mock Version: 4.1
2025-10-18 10:17:41,146 - Finish: chroot init
2025-10-18 10:17:41,148 - Start: build phase for Agda-2.6.3-2.oc9.src.rpm
2025-10-18 10:17:41,151 - Start: build setup for Agda-2.6.3-2.oc9.src.rpm
2025-10-18 10:17:41,685 - Finish: build setup for Agda-2.6.3-2.oc9.src.rpm
2025-10-18 10:17:41,686 - Finish: build phase for Agda-2.6.3-2.oc9.src.rpm