2025-07-01 09:23:48,531 - Mock Version: 4.1
2025-07-01 09:23:48,644 - Start: installing minimal buildroot with dnf
2025-07-01 09:24:38,070 - Finish: installing minimal buildroot with dnf
2025-07-01 09:24:38,237 - Finish: chroot init
2025-07-01 09:24:38,324 - Finish: run
2025-07-01 09:24:39,886 - Mock Version: 4.1
2025-07-01 09:24:40,026 - Finish: chroot init
2025-07-01 09:24:40,028 - Start: chroot ['uname -r']
2025-07-01 09:24:40,042 - Finish: chroot ['uname -r']
2025-07-01 09:24:44,130 - Mock Version: 4.1
2025-07-01 09:24:44,639 - Finish: chroot init
2025-07-01 09:24:44,641 - Start: build phase for idris-1.3.4-2.oc9.src.rpm
2025-07-01 09:24:44,644 - Start: build setup for idris-1.3.4-2.oc9.src.rpm
2025-07-01 09:25:17,741 - Finish: build setup for idris-1.3.4-2.oc9.src.rpm
2025-07-01 09:25:17,742 - Start: Outputting list of installed packages
2025-07-01 09:25:17,839 - Finish: Outputting list of installed packages
2025-07-01 09:25:17,839 - Start: rpmbuild idris-1.3.4-2.oc9.src.rpm