2024-08-02 17:56:28,549 - Mock Version: 4.1
2024-08-02 17:56:28,669 - Start: installing minimal buildroot with dnf
2024-08-02 17:57:28,604 - Finish: installing minimal buildroot with dnf
2024-08-02 17:57:28,780 - Finish: chroot init
2024-08-02 17:57:28,857 - Finish: run
2024-08-02 17:57:30,395 - Mock Version: 4.1
2024-08-02 17:57:30,527 - Finish: chroot init
2024-08-02 17:57:30,529 - Start: chroot ['uname -r']
2024-08-02 17:57:30,544 - Finish: chroot ['uname -r']
2024-08-02 17:57:32,196 - Mock Version: 4.1
2024-08-02 17:57:32,607 - Finish: chroot init
2024-08-02 17:57:32,609 - Start: build phase for Agda-2.6.3-1.oc9.src.rpm
2024-08-02 17:57:32,611 - Start: build setup for Agda-2.6.3-1.oc9.src.rpm
2024-08-02 17:57:57,702 - Finish: build setup for Agda-2.6.3-1.oc9.src.rpm
2024-08-02 17:57:57,703 - Start: Outputting list of installed packages
2024-08-02 17:57:57,796 - Finish: Outputting list of installed packages
2024-08-02 17:57:57,796 - Start: rpmbuild Agda-2.6.3-1.oc9.src.rpm
2024-08-02 18:07:00,888 - Finish: rpmbuild Agda-2.6.3-1.oc9.src.rpm
2024-08-02 18:07:00,923 - Finish: build phase for Agda-2.6.3-1.oc9.src.rpm
2024-08-02 18:07:00,926 - Finish: run