2025-07-30 23:00:16,324 - Mock Version: 4.1
2025-07-30 23:00:16,448 - Start: installing minimal buildroot with dnf
2025-07-30 23:00:47,171 - Finish: installing minimal buildroot with dnf
2025-07-30 23:00:47,339 - Finish: chroot init
2025-07-30 23:00:47,420 - Finish: run
2025-07-30 23:00:49,506 - Mock Version: 4.1
2025-07-30 23:00:49,641 - Finish: chroot init
2025-07-30 23:00:49,643 - Start: chroot ['uname -r']
2025-07-30 23:00:49,667 - Finish: chroot ['uname -r']
2025-07-30 23:00:53,020 - Mock Version: 4.1
2025-07-30 23:00:53,404 - Finish: chroot init
2025-07-30 23:00:53,406 - Start: build phase for idris-1.3.4-2.oc9.src.rpm
2025-07-30 23:00:53,409 - Start: build setup for idris-1.3.4-2.oc9.src.rpm
2025-07-30 23:01:16,908 - Finish: build setup for idris-1.3.4-2.oc9.src.rpm
2025-07-30 23:01:16,908 - Start: Outputting list of installed packages
2025-07-30 23:01:16,996 - Finish: Outputting list of installed packages
2025-07-30 23:01:16,996 - Start: rpmbuild idris-1.3.4-2.oc9.src.rpm
2025-07-30 23:10:56,900 - Finish: rpmbuild idris-1.3.4-2.oc9.src.rpm
2025-07-30 23:10:56,937 - Finish: build phase for idris-1.3.4-2.oc9.src.rpm
2025-07-30 23:10:56,941 - Finish: run