2025-10-12 23:42:30,623 - Mock Version: 4.1
2025-10-12 23:42:30,744 - Start: installing minimal buildroot with dnf
2025-10-12 23:43:01,293 - Finish: installing minimal buildroot with dnf
2025-10-12 23:43:01,475 - Finish: chroot init
2025-10-12 23:43:01,563 - Finish: run
2025-10-12 23:43:02,866 - Mock Version: 4.1
2025-10-12 23:43:03,005 - Finish: chroot init
2025-10-12 23:43:03,007 - Start: chroot ['uname -r']
2025-10-12 23:43:03,020 - Finish: chroot ['uname -r']
2025-10-12 23:43:06,431 - Mock Version: 4.1
2025-10-12 23:43:06,839 - Finish: chroot init
2025-10-12 23:43:06,841 - Start: build phase for idris-1.3.4-2.oc9.src.rpm
2025-10-12 23:43:06,844 - Start: build setup for idris-1.3.4-2.oc9.src.rpm
2025-10-12 23:43:07,437 - Finish: build setup for idris-1.3.4-2.oc9.src.rpm
2025-10-12 23:43:07,437 - Finish: build phase for idris-1.3.4-2.oc9.src.rpm