2025-09-04 20:22:23,349 - Mock Version: 4.1
2025-09-04 20:22:23,701 - Start: installing minimal buildroot with dnf
2025-09-04 20:23:06,361 - Finish: installing minimal buildroot with dnf
2025-09-04 20:23:06,542 - Finish: chroot init
2025-09-04 20:23:06,624 - Finish: run
2025-09-04 20:23:08,723 - Mock Version: 4.1
2025-09-04 20:23:08,903 - Finish: chroot init
2025-09-04 20:23:08,905 - Start: chroot ['uname -r']
2025-09-04 20:23:08,922 - Finish: chroot ['uname -r']
2025-09-04 20:23:13,116 - Mock Version: 4.1
2025-09-04 20:23:13,787 - Finish: chroot init
2025-09-04 20:23:13,790 - Start: build phase for Agda-2.6.3-2.oc9.src.rpm
2025-09-04 20:23:13,797 - Start: build setup for Agda-2.6.3-2.oc9.src.rpm
2025-09-04 20:23:14,647 - Finish: build setup for Agda-2.6.3-2.oc9.src.rpm
2025-09-04 20:23:14,647 - Finish: build phase for Agda-2.6.3-2.oc9.src.rpm