2026-01-13 19:52:02,533 - Mock Version: 4.1
2026-01-13 19:52:02,652 - Start: installing minimal buildroot with dnf
2026-01-13 19:52:25,846 - Finish: installing minimal buildroot with dnf
2026-01-13 19:52:26,007 - Finish: chroot init
2026-01-13 19:52:26,082 - Finish: run
2026-01-13 19:52:28,034 - Mock Version: 4.1
2026-01-13 19:52:28,169 - Finish: chroot init
2026-01-13 19:52:28,171 - Start: chroot ['uname -r']
2026-01-13 19:52:28,184 - Finish: chroot ['uname -r']
2026-01-13 19:52:30,504 - Mock Version: 4.1
2026-01-13 19:52:30,904 - Finish: chroot init
2026-01-13 19:52:30,905 - Start: build phase for Agda-2.6.4.3-1.oc9.src.rpm
2026-01-13 19:52:30,908 - Start: build setup for Agda-2.6.4.3-1.oc9.src.rpm
2026-01-13 19:53:18,926 - Finish: build setup for Agda-2.6.4.3-1.oc9.src.rpm
2026-01-13 19:53:18,926 - Start: Outputting list of installed packages
2026-01-13 19:53:19,023 - Finish: Outputting list of installed packages
2026-01-13 19:53:19,023 - Start: rpmbuild Agda-2.6.4.3-1.oc9.src.rpm
2026-01-13 20:03:10,174 - Finish: rpmbuild Agda-2.6.4.3-1.oc9.src.rpm
2026-01-13 20:03:10,215 - Finish: build phase for Agda-2.6.4.3-1.oc9.src.rpm
2026-01-13 20:03:10,219 - Finish: run