2025-10-22 11:36:06,245 - Mock Version: 4.1
2025-10-22 11:36:06,357 - Start: installing minimal buildroot with dnf
2025-10-22 11:36:30,562 - Finish: installing minimal buildroot with dnf
2025-10-22 11:36:30,774 - Finish: chroot init
2025-10-22 11:36:30,862 - Finish: run
2025-10-22 11:36:32,186 - Mock Version: 4.1
2025-10-22 11:36:32,317 - Finish: chroot init
2025-10-22 11:36:32,319 - Start: chroot ['uname -r']
2025-10-22 11:36:32,355 - Finish: chroot ['uname -r']
2025-10-22 11:36:34,572 - Mock Version: 4.1
2025-10-22 11:36:34,977 - Finish: chroot init
2025-10-22 11:36:34,978 - Start: build phase for idris-1.3.4-2.oc9.src.rpm
2025-10-22 11:36:34,981 - Start: build setup for idris-1.3.4-2.oc9.src.rpm
2025-10-22 11:36:57,024 - Finish: build setup for idris-1.3.4-2.oc9.src.rpm
2025-10-22 11:36:57,025 - Start: Outputting list of installed packages
2025-10-22 11:36:57,108 - Finish: Outputting list of installed packages
2025-10-22 11:36:57,108 - Start: rpmbuild idris-1.3.4-2.oc9.src.rpm