2026-01-13 16:39:45,632 - Mock Version: 4.1 2026-01-13 16:39:45,747 - Start: installing minimal buildroot with dnf 2026-01-13 16:40:08,351 - Finish: installing minimal buildroot with dnf 2026-01-13 16:40:08,575 - Finish: chroot init 2026-01-13 16:40:08,667 - Finish: run 2026-01-13 16:40:25,489 - Mock Version: 4.1 2026-01-13 16:40:25,618 - Finish: chroot init 2026-01-13 16:40:25,620 - Start: chroot ['uname -r'] 2026-01-13 16:40:25,664 - Finish: chroot ['uname -r'] 2026-01-13 16:41:18,944 - Mock Version: 4.1 2026-01-13 16:41:19,370 - Finish: chroot init 2026-01-13 16:41:19,371 - Start: build phase for Agda-2.6.4.3-1.oc9.src.rpm 2026-01-13 16:41:19,374 - Start: build setup for Agda-2.6.4.3-1.oc9.src.rpm 2026-01-13 16:41:57,674 - Finish: build setup for Agda-2.6.4.3-1.oc9.src.rpm 2026-01-13 16:41:57,675 - Start: Outputting list of installed packages 2026-01-13 16:41:57,767 - Finish: Outputting list of installed packages 2026-01-13 16:41:57,767 - Start: rpmbuild Agda-2.6.4.3-1.oc9.src.rpm 2026-01-13 16:41:59,214 - Finish: rpmbuild Agda-2.6.4.3-1.oc9.src.rpm 2026-01-13 16:41:59,214 - Finish: build phase for Agda-2.6.4.3-1.oc9.src.rpm