2025-10-18 10:36:02,143 - Mock Version: 4.1
2025-10-18 10:36:02,264 - Start: installing minimal buildroot with dnf
2025-10-18 10:36:30,637 - Finish: installing minimal buildroot with dnf
2025-10-18 10:36:30,845 - Finish: chroot init
2025-10-18 10:36:30,925 - Finish: run
2025-10-18 10:36:32,101 - Mock Version: 4.1
2025-10-18 10:36:32,262 - Finish: chroot init
2025-10-18 10:36:32,264 - Start: chroot ['uname -r']
2025-10-18 10:36:32,281 - Finish: chroot ['uname -r']
2025-10-18 10:36:35,521 - Mock Version: 4.1
2025-10-18 10:36:35,943 - Finish: chroot init
2025-10-18 10:36:35,945 - Start: build phase for idris-1.3.4-2.oc9.src.rpm
2025-10-18 10:36:35,948 - Start: build setup for idris-1.3.4-2.oc9.src.rpm
2025-10-18 10:37:12,319 - Finish: build setup for idris-1.3.4-2.oc9.src.rpm
2025-10-18 10:37:12,320 - Start: Outputting list of installed packages
2025-10-18 10:37:12,417 - Finish: Outputting list of installed packages
2025-10-18 10:37:12,418 - Start: rpmbuild idris-1.3.4-2.oc9.src.rpm
2025-10-18 10:37:13,889 - Finish: rpmbuild idris-1.3.4-2.oc9.src.rpm
2025-10-18 10:37:13,890 - Finish: build phase for idris-1.3.4-2.oc9.src.rpm