2025-06-12 15:27:16,571 - Mock Version: 4.1
2025-06-12 15:27:16,695 - Start: installing minimal buildroot with dnf
2025-06-12 15:27:47,225 - Finish: installing minimal buildroot with dnf
2025-06-12 15:27:47,384 - Finish: chroot init
2025-06-12 15:27:47,466 - Finish: run
2025-06-12 15:27:48,655 - Mock Version: 4.1
2025-06-12 15:27:48,795 - Finish: chroot init
2025-06-12 15:27:48,797 - Start: chroot ['uname -r']
2025-06-12 15:27:48,810 - Finish: chroot ['uname -r']
2025-06-12 15:27:52,654 - Mock Version: 4.1
2025-06-12 15:27:53,063 - Finish: chroot init
2025-06-12 15:27:53,064 - Start: build phase for Agda-2.6.3-2.oc9.src.rpm
2025-06-12 15:27:53,067 - Start: build setup for Agda-2.6.3-2.oc9.src.rpm
2025-06-12 15:28:50,498 - Finish: build setup for Agda-2.6.3-2.oc9.src.rpm
2025-06-12 15:28:50,499 - Start: Outputting list of installed packages
2025-06-12 15:28:50,609 - Finish: Outputting list of installed packages
2025-06-12 15:28:50,609 - Start: rpmbuild Agda-2.6.3-2.oc9.src.rpm
2025-06-12 15:37:33,898 - Finish: rpmbuild Agda-2.6.3-2.oc9.src.rpm
2025-06-12 15:37:33,936 - Finish: build phase for Agda-2.6.3-2.oc9.src.rpm
2025-06-12 15:37:33,939 - Finish: run