2025-10-28 10:38:11,569 - Mock Version: 4.1
2025-10-28 10:38:11,702 - Start: installing minimal buildroot with dnf
2025-10-28 10:38:35,718 - Finish: installing minimal buildroot with dnf
2025-10-28 10:38:35,879 - Finish: chroot init
2025-10-28 10:38:35,966 - Finish: run
2025-10-28 10:38:37,965 - Mock Version: 4.1
2025-10-28 10:38:38,110 - Finish: chroot init
2025-10-28 10:38:38,111 - Start: chroot ['uname -r']
2025-10-28 10:38:38,137 - Finish: chroot ['uname -r']
2025-10-28 10:38:41,330 - Mock Version: 4.1
2025-10-28 10:38:41,716 - Finish: chroot init
2025-10-28 10:38:41,717 - Start: build phase for idris-1.3.4-3.oc9.src.rpm
2025-10-28 10:38:41,720 - Start: build setup for idris-1.3.4-3.oc9.src.rpm
2025-10-28 10:39:06,623 - Finish: build setup for idris-1.3.4-3.oc9.src.rpm
2025-10-28 10:39:06,624 - Start: Outputting list of installed packages
2025-10-28 10:39:06,720 - Finish: Outputting list of installed packages
2025-10-28 10:39:06,720 - Start: rpmbuild idris-1.3.4-3.oc9.src.rpm
2025-10-28 10:48:45,049 - Finish: rpmbuild idris-1.3.4-3.oc9.src.rpm
2025-10-28 10:48:45,083 - Finish: build phase for idris-1.3.4-3.oc9.src.rpm
2025-10-28 10:48:45,087 - Finish: run