2025-10-22 11:55:05,345 - Mock Version: 4.1
2025-10-22 11:55:05,459 - Start: installing minimal buildroot with dnf
2025-10-22 11:55:29,559 - Finish: installing minimal buildroot with dnf
2025-10-22 11:55:29,762 - Finish: chroot init
2025-10-22 11:55:29,850 - Finish: run
2025-10-22 11:55:30,991 - Mock Version: 4.1
2025-10-22 11:55:31,130 - Finish: chroot init
2025-10-22 11:55:31,132 - Start: chroot ['uname -r']
2025-10-22 11:55:31,172 - Finish: chroot ['uname -r']
2025-10-22 11:55:34,322 - Mock Version: 4.1
2025-10-22 11:55:34,766 - Finish: chroot init
2025-10-22 11:55:34,767 - Start: build phase for idris-1.3.4-2.oc9.src.rpm
2025-10-22 11:55:34,770 - Start: build setup for idris-1.3.4-2.oc9.src.rpm
2025-10-22 11:55:56,398 - Finish: build setup for idris-1.3.4-2.oc9.src.rpm
2025-10-22 11:55:56,398 - Start: Outputting list of installed packages
2025-10-22 11:55:56,481 - Finish: Outputting list of installed packages
2025-10-22 11:55:56,481 - Start: rpmbuild idris-1.3.4-2.oc9.src.rpm
2025-10-22 12:07:35,390 - Finish: rpmbuild idris-1.3.4-2.oc9.src.rpm
2025-10-22 12:07:35,409 - Finish: build phase for idris-1.3.4-2.oc9.src.rpm
2025-10-22 12:07:35,412 - Finish: run