2025-07-01 09:22:42,432 - Mock Version: 4.1
2025-07-01 09:22:42,829 - Start: installing minimal buildroot with dnf
2025-07-01 09:23:24,909 - Finish: installing minimal buildroot with dnf
2025-07-01 09:23:25,136 - Finish: chroot init
2025-07-01 09:23:25,233 - Finish: run
2025-07-01 09:23:26,433 - Mock Version: 4.1
2025-07-01 09:23:26,574 - Finish: chroot init
2025-07-01 09:23:26,576 - Start: chroot ['uname -r']
2025-07-01 09:23:26,600 - Finish: chroot ['uname -r']
2025-07-01 09:23:29,423 - Mock Version: 4.1
2025-07-01 09:23:29,909 - Finish: chroot init
2025-07-01 09:23:29,911 - Start: build phase for idris-1.3.4-2.oc9.src.rpm
2025-07-01 09:23:29,914 - Start: build setup for idris-1.3.4-2.oc9.src.rpm
2025-07-01 09:24:12,855 - Finish: build setup for idris-1.3.4-2.oc9.src.rpm
2025-07-01 09:24:12,856 - Start: Outputting list of installed packages
2025-07-01 09:24:12,944 - Finish: Outputting list of installed packages
2025-07-01 09:24:12,944 - Start: rpmbuild idris-1.3.4-2.oc9.src.rpm