2025-10-23 15:15:53,458 - Mock Version: 4.1
2025-10-23 15:15:53,577 - Start: installing minimal buildroot with dnf
2025-10-23 15:16:25,176 - Finish: installing minimal buildroot with dnf
2025-10-23 15:16:25,410 - Finish: chroot init
2025-10-23 15:16:25,500 - Finish: run
2025-10-23 15:16:26,692 - Mock Version: 4.1
2025-10-23 15:16:26,826 - Finish: chroot init
2025-10-23 15:16:26,828 - Start: chroot ['uname -r']
2025-10-23 15:16:26,872 - Finish: chroot ['uname -r']
2025-10-23 15:16:29,941 - Mock Version: 4.1
2025-10-23 15:16:30,394 - Finish: chroot init
2025-10-23 15:16:30,396 - Start: build phase for Agda-2.6.3-2.oc9.src.rpm
2025-10-23 15:16:30,398 - Start: build setup for Agda-2.6.3-2.oc9.src.rpm
2025-10-23 15:17:17,210 - Finish: build setup for Agda-2.6.3-2.oc9.src.rpm
2025-10-23 15:17:17,210 - Start: Outputting list of installed packages
2025-10-23 15:17:17,303 - Finish: Outputting list of installed packages
2025-10-23 15:17:17,303 - Start: rpmbuild Agda-2.6.3-2.oc9.src.rpm
2025-10-23 15:17:18,739 - Finish: rpmbuild Agda-2.6.3-2.oc9.src.rpm
2025-10-23 15:17:18,739 - Finish: build phase for Agda-2.6.3-2.oc9.src.rpm