2026-01-05 10:12:36,201 - Mock Version: 4.1
2026-01-05 10:12:36,320 - Start: installing minimal buildroot with dnf
2026-01-05 10:12:58,760 - Finish: installing minimal buildroot with dnf
2026-01-05 10:12:58,951 - Finish: chroot init
2026-01-05 10:12:59,040 - Finish: run
2026-01-05 10:13:00,999 - Mock Version: 4.1
2026-01-05 10:13:01,142 - Finish: chroot init
2026-01-05 10:13:01,144 - Start: chroot ['uname -r']
2026-01-05 10:13:01,168 - Finish: chroot ['uname -r']
2026-01-05 10:13:03,712 - Mock Version: 4.1
2026-01-05 10:13:04,182 - Finish: chroot init
2026-01-05 10:13:04,184 - Start: build phase for Agda-2.8.0-1.oc9.src.rpm
2026-01-05 10:13:04,186 - Start: build setup for Agda-2.8.0-1.oc9.src.rpm
2026-01-05 10:13:04,797 - Finish: build setup for Agda-2.8.0-1.oc9.src.rpm
2026-01-05 10:13:04,797 - Finish: build phase for Agda-2.8.0-1.oc9.src.rpm