2025-09-04 20:22:39,187 - Mock Version: 4.1
2025-09-04 20:22:39,538 - Start: installing minimal buildroot with dnf
2025-09-04 20:23:24,270 - Finish: installing minimal buildroot with dnf
2025-09-04 20:23:24,569 - Finish: chroot init
2025-09-04 20:23:24,716 - Finish: run
2025-09-04 20:23:27,282 - Mock Version: 4.1
2025-09-04 20:23:27,531 - Finish: chroot init
2025-09-04 20:23:27,533 - Start: chroot ['uname -r']
2025-09-04 20:23:27,576 - Finish: chroot ['uname -r']
2025-09-04 20:23:31,012 - Mock Version: 4.1
2025-09-04 20:23:31,709 - Finish: chroot init
2025-09-04 20:23:31,711 - Start: build phase for Agda-2.6.3-2.oc9.src.rpm
2025-09-04 20:23:31,714 - Start: build setup for Agda-2.6.3-2.oc9.src.rpm