2025-08-25 11:16:04,976 - Mock Version: 4.1
2025-08-25 11:16:05,087 - Start: installing minimal buildroot with dnf
2025-08-25 11:16:37,818 - Finish: installing minimal buildroot with dnf
2025-08-25 11:16:38,038 - Finish: chroot init
2025-08-25 11:16:38,123 - Finish: run
2025-08-25 11:16:40,042 - Mock Version: 4.1
2025-08-25 11:16:40,170 - Finish: chroot init
2025-08-25 11:16:40,172 - Start: chroot ['uname -r']
2025-08-25 11:16:40,192 - Finish: chroot ['uname -r']
2025-08-25 11:16:42,830 - Mock Version: 4.1
2025-08-25 11:16:43,230 - Finish: chroot init
2025-08-25 11:16:43,232 - Start: build phase for Agda-2.6.3-2.oc9.src.rpm
2025-08-25 11:16:43,234 - Start: build setup for Agda-2.6.3-2.oc9.src.rpm
2025-08-25 11:16:43,914 - Finish: build setup for Agda-2.6.3-2.oc9.src.rpm
2025-08-25 11:16:43,914 - Finish: build phase for Agda-2.6.3-2.oc9.src.rpm