2025-10-12 16:19:23,056 - Mock Version: 4.1
2025-10-12 16:19:23,169 - Start: installing minimal buildroot with dnf
2025-10-12 16:19:59,706 - Finish: installing minimal buildroot with dnf
2025-10-12 16:19:59,918 - Finish: chroot init
2025-10-12 16:20:00,007 - Finish: run
2025-10-12 16:20:01,973 - Mock Version: 4.1
2025-10-12 16:20:02,131 - Finish: chroot init
2025-10-12 16:20:02,133 - Start: chroot ['uname -r']
2025-10-12 16:20:02,164 - Finish: chroot ['uname -r']
2025-10-12 16:20:04,536 - Mock Version: 4.1
2025-10-12 16:20:04,945 - Finish: chroot init
2025-10-12 16:20:04,947 - Start: build phase for idris-1.3.4-2.oc9.src.rpm
2025-10-12 16:20:04,949 - Start: build setup for idris-1.3.4-2.oc9.src.rpm
2025-10-12 16:20:05,573 - Finish: build setup for idris-1.3.4-2.oc9.src.rpm
2025-10-12 16:20:05,573 - Finish: build phase for idris-1.3.4-2.oc9.src.rpm