2025-10-12 22:51:45,665 - Mock Version: 4.1
2025-10-12 22:51:45,799 - Start: installing minimal buildroot with dnf
2025-10-12 22:52:14,193 - Finish: installing minimal buildroot with dnf
2025-10-12 22:52:14,367 - Finish: chroot init
2025-10-12 22:52:14,447 - Finish: run
2025-10-12 22:52:16,472 - Mock Version: 4.1
2025-10-12 22:52:16,614 - Finish: chroot init
2025-10-12 22:52:16,615 - Start: chroot ['uname -r']
2025-10-12 22:52:16,632 - Finish: chroot ['uname -r']
2025-10-12 22:52:20,110 - Mock Version: 4.1
2025-10-12 22:52:20,519 - Finish: chroot init
2025-10-12 22:52:20,521 - Start: build phase for Agda-2.6.3-2.oc9.src.rpm
2025-10-12 22:52:20,524 - Start: build setup for Agda-2.6.3-2.oc9.src.rpm
2025-10-12 22:52:21,093 - Finish: build setup for Agda-2.6.3-2.oc9.src.rpm
2025-10-12 22:52:21,093 - Finish: build phase for Agda-2.6.3-2.oc9.src.rpm