2026-01-05 10:12:37,211 - Mock Version: 4.1
2026-01-05 10:12:37,332 - Start: installing minimal buildroot with dnf
2026-01-05 10:13:00,899 - Finish: installing minimal buildroot with dnf
2026-01-05 10:13:01,084 - Finish: chroot init
2026-01-05 10:13:01,157 - Finish: run
2026-01-05 10:13:03,278 - Mock Version: 4.1
2026-01-05 10:13:03,412 - Finish: chroot init
2026-01-05 10:13:03,414 - Start: chroot ['uname -r']
2026-01-05 10:13:03,430 - Finish: chroot ['uname -r']
2026-01-05 10:13:05,712 - Mock Version: 4.1
2026-01-05 10:13:06,127 - Finish: chroot init
2026-01-05 10:13:06,128 - Start: build phase for Agda-2.8.0-1.oc9.src.rpm
2026-01-05 10:13:06,131 - Start: build setup for Agda-2.8.0-1.oc9.src.rpm
2026-01-05 10:13:06,680 - Finish: build setup for Agda-2.8.0-1.oc9.src.rpm
2026-01-05 10:13:06,680 - Finish: build phase for Agda-2.8.0-1.oc9.src.rpm