2025-07-28 13:24:30,258 - Mock Version: 4.1
2025-07-28 13:24:30,394 - Start: installing minimal buildroot with dnf
2025-07-28 13:25:09,969 - Finish: installing minimal buildroot with dnf
2025-07-28 13:25:10,178 - Finish: chroot init
2025-07-28 13:25:10,270 - Finish: run
2025-07-28 13:25:12,347 - Mock Version: 4.1
2025-07-28 13:25:12,491 - Finish: chroot init
2025-07-28 13:25:12,493 - Start: chroot ['uname -r']
2025-07-28 13:25:12,514 - Finish: chroot ['uname -r']
2025-07-28 13:25:15,962 - Mock Version: 4.1
2025-07-28 13:25:16,523 - Finish: chroot init
2025-07-28 13:25:16,525 - Start: build phase for idris-1.3.4-2.oc9.src.rpm
2025-07-28 13:25:16,528 - Start: build setup for idris-1.3.4-2.oc9.src.rpm
2025-07-28 13:25:55,470 - Finish: build setup for idris-1.3.4-2.oc9.src.rpm
2025-07-28 13:25:55,470 - Start: Outputting list of installed packages
2025-07-28 13:25:55,569 - Finish: Outputting list of installed packages
2025-07-28 13:25:55,570 - Start: rpmbuild idris-1.3.4-2.oc9.src.rpm