2025-10-18 10:35:59,638 - Mock Version: 4.1
2025-10-18 10:35:59,750 - Start: installing minimal buildroot with dnf
2025-10-18 10:36:31,200 - Finish: installing minimal buildroot with dnf
2025-10-18 10:36:31,439 - Finish: chroot init
2025-10-18 10:36:31,523 - Finish: run
2025-10-18 10:36:32,555 - Mock Version: 4.1
2025-10-18 10:36:32,689 - Finish: chroot init
2025-10-18 10:36:32,691 - Start: chroot ['uname -r']
2025-10-18 10:36:32,723 - Finish: chroot ['uname -r']
2025-10-18 10:36:35,945 - Mock Version: 4.1
2025-10-18 10:36:36,393 - Finish: chroot init
2025-10-18 10:36:36,394 - Start: build phase for idris-1.3.4-2.oc9.src.rpm
2025-10-18 10:36:36,397 - Start: build setup for idris-1.3.4-2.oc9.src.rpm
2025-10-18 10:37:01,453 - Finish: build setup for idris-1.3.4-2.oc9.src.rpm
2025-10-18 10:37:01,453 - Start: Outputting list of installed packages
2025-10-18 10:37:01,537 - Finish: Outputting list of installed packages
2025-10-18 10:37:01,537 - Start: rpmbuild idris-1.3.4-2.oc9.src.rpm
2025-10-18 10:37:03,273 - Finish: rpmbuild idris-1.3.4-2.oc9.src.rpm
2025-10-18 10:37:03,274 - Finish: build phase for idris-1.3.4-2.oc9.src.rpm