2025-10-13 10:42:59,310 - Mock Version: 4.1
2025-10-13 10:42:59,744 - Start: installing minimal buildroot with dnf
2025-10-13 10:43:54,478 - Finish: installing minimal buildroot with dnf
2025-10-13 10:43:54,955 - Finish: chroot init
2025-10-13 10:43:55,242 - Finish: run
2025-10-13 10:43:58,667 - Mock Version: 4.1
2025-10-13 10:43:59,218 - Finish: chroot init
2025-10-13 10:43:59,220 - Start: chroot ['uname -r']
2025-10-13 10:43:59,284 - Finish: chroot ['uname -r']
2025-10-13 10:44:04,233 - Mock Version: 4.1
2025-10-13 10:44:05,249 - Finish: chroot init
2025-10-13 10:44:05,251 - Start: build phase for Agda-2.6.3-2.oc9.src.rpm
2025-10-13 10:44:05,253 - Start: build setup for Agda-2.6.3-2.oc9.src.rpm
2025-10-13 10:44:06,622 - Finish: build setup for Agda-2.6.3-2.oc9.src.rpm
2025-10-13 10:44:06,622 - Finish: build phase for Agda-2.6.3-2.oc9.src.rpm