2025-06-12 15:27:24,404 - Mock Version: 4.1
2025-06-12 15:27:24,588 - Start: installing minimal buildroot with dnf
2025-06-12 15:27:58,962 - Finish: installing minimal buildroot with dnf
2025-06-12 15:27:59,293 - Finish: chroot init
2025-06-12 15:27:59,534 - Finish: run
2025-06-12 15:28:02,176 - Mock Version: 4.1
2025-06-12 15:28:02,342 - Finish: chroot init
2025-06-12 15:28:02,344 - Start: chroot ['uname -r']
2025-06-12 15:28:02,376 - Finish: chroot ['uname -r']
2025-06-12 15:28:06,486 - Mock Version: 4.1
2025-06-12 15:28:07,104 - Finish: chroot init
2025-06-12 15:28:07,105 - Start: build phase for Agda-2.6.3-2.oc9.src.rpm
2025-06-12 15:28:07,108 - Start: build setup for Agda-2.6.3-2.oc9.src.rpm
2025-06-12 15:28:59,133 - Finish: build setup for Agda-2.6.3-2.oc9.src.rpm
2025-06-12 15:28:59,134 - Start: Outputting list of installed packages
2025-06-12 15:28:59,236 - Finish: Outputting list of installed packages
2025-06-12 15:28:59,236 - Start: rpmbuild Agda-2.6.3-2.oc9.src.rpm