2025-07-30 23:01:15,366 - Mock Version: 4.1
2025-07-30 23:01:15,478 - Start: installing minimal buildroot with dnf
2025-07-30 23:01:41,027 - Finish: installing minimal buildroot with dnf
2025-07-30 23:01:41,223 - Finish: chroot init
2025-07-30 23:01:41,303 - Finish: run
2025-07-30 23:01:43,291 - Mock Version: 4.1
2025-07-30 23:01:43,430 - Finish: chroot init
2025-07-30 23:01:43,432 - Start: chroot ['uname -r']
2025-07-30 23:01:43,452 - Finish: chroot ['uname -r']
2025-07-30 23:01:46,832 - Mock Version: 4.1
2025-07-30 23:01:47,230 - Finish: chroot init
2025-07-30 23:01:47,231 - Start: build phase for idris-1.3.4-2.oc9.src.rpm
2025-07-30 23:01:47,234 - Start: build setup for idris-1.3.4-2.oc9.src.rpm
2025-07-30 23:02:07,281 - Finish: build setup for idris-1.3.4-2.oc9.src.rpm
2025-07-30 23:02:07,282 - Start: Outputting list of installed packages
2025-07-30 23:02:07,365 - Finish: Outputting list of installed packages
2025-07-30 23:02:07,365 - Start: rpmbuild idris-1.3.4-2.oc9.src.rpm
2025-07-30 23:15:12,021 - Finish: rpmbuild idris-1.3.4-2.oc9.src.rpm
2025-07-30 23:15:12,042 - Finish: build phase for idris-1.3.4-2.oc9.src.rpm
2025-07-30 23:15:12,045 - Finish: run