2025-10-16 17:43:55,950 - Mock Version: 4.1
2025-10-16 17:43:56,071 - Start: installing minimal buildroot with dnf
2025-10-16 17:44:29,726 - Finish: installing minimal buildroot with dnf
2025-10-16 17:44:29,894 - Finish: chroot init
2025-10-16 17:44:29,971 - Finish: run
2025-10-16 17:44:32,019 - Mock Version: 4.1
2025-10-16 17:44:32,156 - Finish: chroot init
2025-10-16 17:44:32,158 - Start: chroot ['uname -r']
2025-10-16 17:44:32,171 - Finish: chroot ['uname -r']
2025-10-16 17:44:34,406 - Mock Version: 4.1
2025-10-16 17:44:34,842 - Finish: chroot init
2025-10-16 17:44:34,844 - Start: build phase for Agda-2.6.3-2.oc9.src.rpm
2025-10-16 17:44:34,847 - Start: build setup for Agda-2.6.3-2.oc9.src.rpm
2025-10-16 17:44:35,390 - Finish: build setup for Agda-2.6.3-2.oc9.src.rpm
2025-10-16 17:44:35,390 - Finish: build phase for Agda-2.6.3-2.oc9.src.rpm