2025-07-28 13:23:20,791 - Mock Version: 4.1
2025-07-28 13:23:20,918 - Start: installing minimal buildroot with dnf
2025-07-28 13:23:55,748 - Finish: installing minimal buildroot with dnf
2025-07-28 13:23:56,138 - Finish: chroot init
2025-07-28 13:23:56,410 - Finish: run
2025-07-28 13:23:58,475 - Mock Version: 4.1
2025-07-28 13:23:58,834 - Finish: chroot init
2025-07-28 13:23:58,836 - Start: chroot ['uname -r']
2025-07-28 13:23:58,888 - Finish: chroot ['uname -r']
2025-07-28 13:24:01,769 - Mock Version: 4.1
2025-07-28 13:24:02,303 - Finish: chroot init
2025-07-28 13:24:02,304 - Start: build phase for idris-1.3.4-2.oc9.src.rpm
2025-07-28 13:24:02,308 - Start: build setup for idris-1.3.4-2.oc9.src.rpm
2025-07-28 13:24:28,279 - Finish: build setup for idris-1.3.4-2.oc9.src.rpm
2025-07-28 13:24:28,280 - Start: Outputting list of installed packages
2025-07-28 13:24:28,375 - Finish: Outputting list of installed packages
2025-07-28 13:24:28,375 - Start: rpmbuild idris-1.3.4-2.oc9.src.rpm