2025-10-23 15:50:59,364 - Mock Version: 4.1
2025-10-23 15:50:59,485 - Start: installing minimal buildroot with dnf
2025-10-23 15:51:22,949 - Finish: installing minimal buildroot with dnf
2025-10-23 15:51:23,114 - Finish: chroot init
2025-10-23 15:51:23,190 - Finish: run
2025-10-23 15:51:24,492 - Mock Version: 4.1
2025-10-23 15:51:24,626 - Finish: chroot init
2025-10-23 15:51:24,628 - Start: chroot ['uname -r']
2025-10-23 15:51:24,644 - Finish: chroot ['uname -r']
2025-10-23 15:51:28,282 - Mock Version: 4.1
2025-10-23 15:51:28,710 - Finish: chroot init
2025-10-23 15:51:28,711 - Start: build phase for Agda-2.8.0-1.oc9.src.rpm
2025-10-23 15:51:28,714 - Start: build setup for Agda-2.8.0-1.oc9.src.rpm
2025-10-23 15:51:29,239 - Finish: build setup for Agda-2.8.0-1.oc9.src.rpm
2025-10-23 15:51:29,239 - Finish: build phase for Agda-2.8.0-1.oc9.src.rpm