2025-08-22 15:35:28,099 - Mock Version: 4.1
2025-08-22 15:35:28,223 - Start: installing minimal buildroot with dnf
2025-08-22 15:36:04,259 - Finish: installing minimal buildroot with dnf
2025-08-22 15:36:04,460 - Finish: chroot init
2025-08-22 15:36:04,553 - Finish: run
2025-08-22 15:36:06,193 - Mock Version: 4.1
2025-08-22 15:36:06,357 - Finish: chroot init
2025-08-22 15:36:06,359 - Start: chroot ['uname -r']
2025-08-22 15:36:06,382 - Finish: chroot ['uname -r']
2025-08-22 15:36:09,996 - Mock Version: 4.1
2025-08-22 15:36:10,499 - Finish: chroot init
2025-08-22 15:36:10,501 - Start: build phase for Agda-2.6.3-2.oc9.src.rpm
2025-08-22 15:36:10,503 - Start: build setup for Agda-2.6.3-2.oc9.src.rpm
2025-08-22 15:36:11,100 - Finish: build setup for Agda-2.6.3-2.oc9.src.rpm
2025-08-22 15:36:11,100 - Finish: build phase for Agda-2.6.3-2.oc9.src.rpm