2026-01-12 14:53:35,852 - Mock Version: 4.1
2026-01-12 14:53:35,968 - Start: installing minimal buildroot with dnf
2026-01-12 14:54:08,072 - Finish: installing minimal buildroot with dnf
2026-01-12 14:54:08,279 - Finish: chroot init
2026-01-12 14:54:08,383 - Finish: run
2026-01-12 14:54:10,176 - Mock Version: 4.1
2026-01-12 14:54:10,321 - Finish: chroot init
2026-01-12 14:54:10,323 - Start: chroot ['uname -r']
2026-01-12 14:54:10,355 - Finish: chroot ['uname -r']
2026-01-12 14:54:13,409 - Mock Version: 4.1
2026-01-12 14:54:13,833 - Finish: chroot init
2026-01-12 14:54:13,835 - Start: build phase for Agda-2.6.3-2.oc9.src.rpm
2026-01-12 14:54:13,837 - Start: build setup for Agda-2.6.3-2.oc9.src.rpm
2026-01-12 14:55:07,674 - Finish: build setup for Agda-2.6.3-2.oc9.src.rpm
2026-01-12 14:55:07,675 - Start: Outputting list of installed packages
2026-01-12 14:55:07,770 - Finish: Outputting list of installed packages
2026-01-12 14:55:07,770 - Start: rpmbuild Agda-2.6.3-2.oc9.src.rpm
2026-01-12 14:55:09,338 - Finish: rpmbuild Agda-2.6.3-2.oc9.src.rpm
2026-01-12 14:55:09,338 - Finish: build phase for Agda-2.6.3-2.oc9.src.rpm