2025-10-12 15:25:33,052 - Mock Version: 4.1
2025-10-12 15:25:33,177 - Start: installing minimal buildroot with dnf
2025-10-12 15:26:02,683 - Finish: installing minimal buildroot with dnf
2025-10-12 15:26:02,847 - Finish: chroot init
2025-10-12 15:26:02,931 - Finish: run
2025-10-12 15:26:04,110 - Mock Version: 4.1
2025-10-12 15:26:04,255 - Finish: chroot init
2025-10-12 15:26:04,257 - Start: chroot ['uname -r']
2025-10-12 15:26:04,274 - Finish: chroot ['uname -r']
2025-10-12 15:26:06,723 - Mock Version: 4.1
2025-10-12 15:26:07,137 - Finish: chroot init
2025-10-12 15:26:07,138 - Start: build phase for Agda-2.6.3-2.oc9.src.rpm
2025-10-12 15:26:07,141 - Start: build setup for Agda-2.6.3-2.oc9.src.rpm
2025-10-12 15:26:07,705 - Finish: build setup for Agda-2.6.3-2.oc9.src.rpm
2025-10-12 15:26:07,705 - Finish: build phase for Agda-2.6.3-2.oc9.src.rpm