2025-10-16 17:43:56,471 - Mock Version: 4.1
2025-10-16 17:43:56,587 - Start: installing minimal buildroot with dnf
2025-10-16 17:44:31,898 - Finish: installing minimal buildroot with dnf
2025-10-16 17:44:32,159 - Finish: chroot init
2025-10-16 17:44:32,259 - Finish: run
2025-10-16 17:44:34,260 - Mock Version: 4.1
2025-10-16 17:44:34,410 - Finish: chroot init
2025-10-16 17:44:34,412 - Start: chroot ['uname -r']
2025-10-16 17:44:34,439 - Finish: chroot ['uname -r']
2025-10-16 17:44:37,619 - Mock Version: 4.1
2025-10-16 17:44:38,110 - Finish: chroot init
2025-10-16 17:44:38,111 - Start: build phase for Agda-2.6.3-2.oc9.src.rpm
2025-10-16 17:44:38,114 - Start: build setup for Agda-2.6.3-2.oc9.src.rpm
2025-10-16 17:44:38,798 - Finish: build setup for Agda-2.6.3-2.oc9.src.rpm
2025-10-16 17:44:38,798 - Finish: build phase for Agda-2.6.3-2.oc9.src.rpm