2025-08-04 20:11:00,918 - Mock Version: 4.1
2025-08-04 20:11:01,042 - Start: installing minimal buildroot with dnf
2025-08-04 20:11:31,537 - Finish: installing minimal buildroot with dnf
2025-08-04 20:11:31,714 - Finish: chroot init
2025-08-04 20:11:31,793 - Finish: run
2025-08-04 20:11:33,838 - Mock Version: 4.1
2025-08-04 20:11:33,972 - Finish: chroot init
2025-08-04 20:11:33,974 - Start: chroot ['uname -r']
2025-08-04 20:11:33,991 - Finish: chroot ['uname -r']
2025-08-04 20:11:37,392 - Mock Version: 4.1
2025-08-04 20:11:37,782 - Finish: chroot init
2025-08-04 20:11:37,784 - Start: build phase for Agda-2.6.3-2.oc9.src.rpm
2025-08-04 20:11:37,786 - Start: build setup for Agda-2.6.3-2.oc9.src.rpm
2025-08-04 20:12:29,157 - Finish: build setup for Agda-2.6.3-2.oc9.src.rpm
2025-08-04 20:12:29,157 - Start: Outputting list of installed packages
2025-08-04 20:12:29,254 - Finish: Outputting list of installed packages
2025-08-04 20:12:29,254 - Start: rpmbuild Agda-2.6.3-2.oc9.src.rpm