2025-10-11 14:43:21,616 - Mock Version: 4.1
2025-10-11 14:43:21,758 - Start: installing minimal buildroot with dnf
2025-10-11 14:43:59,378 - Finish: installing minimal buildroot with dnf
2025-10-11 14:43:59,603 - Finish: chroot init
2025-10-11 14:43:59,694 - Finish: run
2025-10-11 14:44:00,889 - Mock Version: 4.1
2025-10-11 14:44:01,038 - Finish: chroot init
2025-10-11 14:44:01,040 - Start: chroot ['uname -r']
2025-10-11 14:44:01,063 - Finish: chroot ['uname -r']
2025-10-11 14:44:03,601 - Mock Version: 4.1
2025-10-11 14:44:04,109 - Finish: chroot init
2025-10-11 14:44:04,111 - Start: build phase for Agda-2.6.3-2.oc9.src.rpm
2025-10-11 14:44:04,114 - Start: build setup for Agda-2.6.3-2.oc9.src.rpm
2025-10-11 14:44:04,788 - Finish: build setup for Agda-2.6.3-2.oc9.src.rpm
2025-10-11 14:44:04,789 - Finish: build phase for Agda-2.6.3-2.oc9.src.rpm