2025-10-22 11:36:10,225 - Mock Version: 4.1
2025-10-22 11:36:10,345 - Start: installing minimal buildroot with dnf
2025-10-22 11:36:33,773 - Finish: installing minimal buildroot with dnf
2025-10-22 11:36:33,943 - Finish: chroot init
2025-10-22 11:36:34,021 - Finish: run
2025-10-22 11:36:35,731 - Mock Version: 4.1
2025-10-22 11:36:35,868 - Finish: chroot init
2025-10-22 11:36:35,870 - Start: chroot ['uname -r']
2025-10-22 11:36:35,886 - Finish: chroot ['uname -r']
2025-10-22 11:36:39,201 - Mock Version: 4.1
2025-10-22 11:36:39,623 - Finish: chroot init
2025-10-22 11:36:39,625 - Start: build phase for idris-1.3.4-2.oc9.src.rpm
2025-10-22 11:36:39,627 - Start: build setup for idris-1.3.4-2.oc9.src.rpm
2025-10-22 11:37:04,466 - Finish: build setup for idris-1.3.4-2.oc9.src.rpm
2025-10-22 11:37:04,466 - Start: Outputting list of installed packages
2025-10-22 11:37:04,555 - Finish: Outputting list of installed packages
2025-10-22 11:37:04,555 - Start: rpmbuild idris-1.3.4-2.oc9.src.rpm
2025-10-22 11:46:12,472 - Finish: rpmbuild idris-1.3.4-2.oc9.src.rpm
2025-10-22 11:46:12,472 - Finish: build phase for idris-1.3.4-2.oc9.src.rpm