2025-10-12 17:08:09,283 - Mock Version: 4.1
2025-10-12 17:08:09,399 - Start: installing minimal buildroot with dnf
2025-10-12 17:08:41,123 - Finish: installing minimal buildroot with dnf
2025-10-12 17:08:41,366 - Finish: chroot init
2025-10-12 17:08:41,455 - Finish: run
2025-10-12 17:08:43,456 - Mock Version: 4.1
2025-10-12 17:08:43,610 - Finish: chroot init
2025-10-12 17:08:43,612 - Start: chroot ['uname -r']
2025-10-12 17:08:43,640 - Finish: chroot ['uname -r']
2025-10-12 17:08:46,298 - Mock Version: 4.1
2025-10-12 17:08:46,735 - Finish: chroot init
2025-10-12 17:08:46,737 - Start: build phase for Agda-2.6.3-2.oc9.src.rpm
2025-10-12 17:08:46,739 - Start: build setup for Agda-2.6.3-2.oc9.src.rpm
2025-10-12 17:08:47,479 - Finish: build setup for Agda-2.6.3-2.oc9.src.rpm
2025-10-12 17:08:47,479 - Finish: build phase for Agda-2.6.3-2.oc9.src.rpm