2025-10-22 10:36:59,532 - Mock Version: 4.1
2025-10-22 10:36:59,648 - Start: installing minimal buildroot with dnf
2025-10-22 10:37:39,241 - Finish: installing minimal buildroot with dnf
2025-10-22 10:37:39,486 - Finish: chroot init
2025-10-22 10:37:39,608 - Finish: run
2025-10-22 10:37:41,589 - Mock Version: 4.1
2025-10-22 10:37:41,731 - Finish: chroot init
2025-10-22 10:37:41,732 - Start: chroot ['uname -r']
2025-10-22 10:37:41,764 - Finish: chroot ['uname -r']
2025-10-22 10:37:44,180 - Mock Version: 4.1
2025-10-22 10:37:44,647 - Finish: chroot init
2025-10-22 10:37:44,648 - Start: build phase for idris-1.3.4-%autorelease.src.rpm
2025-10-22 10:37:44,651 - Start: build setup for idris-1.3.4-%autorelease.src.rpm
2025-10-22 10:38:23,462 - Finish: build setup for idris-1.3.4-%autorelease.src.rpm
2025-10-22 10:38:23,462 - Start: Outputting list of installed packages
2025-10-22 10:38:23,545 - Finish: Outputting list of installed packages
2025-10-22 10:38:23,545 - Start: rpmbuild idris-1.3.4-%autorelease.src.rpm