2025-10-22 11:55:02,251 - Mock Version: 4.1
2025-10-22 11:55:02,374 - Start: installing minimal buildroot with dnf
2025-10-22 11:55:25,237 - Finish: installing minimal buildroot with dnf
2025-10-22 11:55:25,388 - Finish: chroot init
2025-10-22 11:55:25,467 - Finish: run
2025-10-22 11:55:27,444 - Mock Version: 4.1
2025-10-22 11:55:27,590 - Finish: chroot init
2025-10-22 11:55:27,591 - Start: chroot ['uname -r']
2025-10-22 11:55:27,615 - Finish: chroot ['uname -r']
2025-10-22 11:55:29,768 - Mock Version: 4.1
2025-10-22 11:55:30,144 - Finish: chroot init
2025-10-22 11:55:30,145 - Start: build phase for idris-1.3.4-2.oc9.src.rpm
2025-10-22 11:55:30,148 - Start: build setup for idris-1.3.4-2.oc9.src.rpm
2025-10-22 11:55:53,628 - Finish: build setup for idris-1.3.4-2.oc9.src.rpm
2025-10-22 11:55:53,628 - Start: Outputting list of installed packages
2025-10-22 11:55:53,718 - Finish: Outputting list of installed packages
2025-10-22 11:55:53,718 - Start: rpmbuild idris-1.3.4-2.oc9.src.rpm
2025-10-22 12:05:13,950 - Finish: rpmbuild idris-1.3.4-2.oc9.src.rpm
2025-10-22 12:05:13,982 - Finish: build phase for idris-1.3.4-2.oc9.src.rpm
2025-10-22 12:05:13,985 - Finish: run