2025-08-04 21:48:36,240 - Mock Version: 4.1
2025-08-04 21:48:36,477 - Start: installing minimal buildroot with dnf
2025-08-04 21:49:14,571 - Finish: installing minimal buildroot with dnf
2025-08-04 21:49:14,811 - Finish: chroot init
2025-08-04 21:49:14,897 - Finish: run
2025-08-04 21:49:16,301 - Mock Version: 4.1
2025-08-04 21:49:16,498 - Finish: chroot init
2025-08-04 21:49:16,500 - Start: chroot ['uname -r']
2025-08-04 21:49:16,547 - Finish: chroot ['uname -r']
2025-08-04 21:49:20,044 - Mock Version: 4.1
2025-08-04 21:49:20,613 - Finish: chroot init
2025-08-04 21:49:20,614 - Start: build phase for idris-1.3.4-2.oc9.src.rpm
2025-08-04 21:49:20,617 - Start: build setup for idris-1.3.4-2.oc9.src.rpm
2025-08-04 21:50:08,159 - Finish: build setup for idris-1.3.4-2.oc9.src.rpm
2025-08-04 21:50:08,161 - Start: Outputting list of installed packages
2025-08-04 21:50:08,809 - Finish: Outputting list of installed packages
2025-08-04 21:50:08,810 - Start: rpmbuild idris-1.3.4-2.oc9.src.rpm