2025-08-04 20:06:41,470 - Mock Version: 4.1
2025-08-04 20:06:41,586 - Start: installing minimal buildroot with dnf
2025-08-04 20:07:27,628 - Finish: installing minimal buildroot with dnf
2025-08-04 20:07:27,848 - Finish: chroot init
2025-08-04 20:07:27,930 - Finish: run
2025-08-04 20:09:51,644 - Mock Version: 4.1
2025-08-04 20:09:51,779 - Finish: chroot init
2025-08-04 20:09:51,780 - Start: chroot ['uname -r']
2025-08-04 20:09:51,804 - Finish: chroot ['uname -r']
2025-08-04 20:10:07,339 - Mock Version: 4.1
2025-08-04 20:10:07,765 - Finish: chroot init
2025-08-04 20:10:07,767 - Start: build phase for Agda-2.6.3-2.oc9.src.rpm
2025-08-04 20:10:07,769 - Start: build setup for Agda-2.6.3-2.oc9.src.rpm
2025-08-04 20:10:54,953 - Finish: build setup for Agda-2.6.3-2.oc9.src.rpm
2025-08-04 20:10:54,953 - Start: Outputting list of installed packages
2025-08-04 20:10:55,043 - Finish: Outputting list of installed packages
2025-08-04 20:10:55,043 - Start: rpmbuild Agda-2.6.3-2.oc9.src.rpm