2025-09-01 23:50:26,337 - Mock Version: 4.1
2025-09-01 23:50:26,470 - Start: installing minimal buildroot with dnf
2025-09-01 23:50:58,914 - Finish: installing minimal buildroot with dnf
2025-09-01 23:50:59,372 - Finish: chroot init
2025-09-01 23:50:59,739 - Finish: run
2025-09-01 23:51:03,630 - Mock Version: 4.1
2025-09-01 23:51:04,216 - Finish: chroot init
2025-09-01 23:51:04,219 - Start: chroot ['uname -r']
2025-09-01 23:51:04,277 - Finish: chroot ['uname -r']
2025-09-01 23:51:09,237 - Mock Version: 4.1
2025-09-01 23:51:10,491 - Finish: chroot init
2025-09-01 23:51:10,503 - Start: build phase for Agda-2.6.3-2.oc9.src.rpm
2025-09-01 23:51:10,518 - Start: build setup for Agda-2.6.3-2.oc9.src.rpm
2025-09-01 23:51:12,350 - Finish: build setup for Agda-2.6.3-2.oc9.src.rpm
2025-09-01 23:51:12,350 - Finish: build phase for Agda-2.6.3-2.oc9.src.rpm