2024-08-02 17:57:03,579 - Mock Version: 4.1
2024-08-02 17:57:03,693 - Start: installing minimal buildroot with dnf
2024-08-02 17:57:43,094 - Finish: installing minimal buildroot with dnf
2024-08-02 17:57:43,305 - Finish: chroot init
2024-08-02 17:57:43,402 - Finish: run
2024-08-02 17:57:45,263 - Mock Version: 4.1
2024-08-02 17:57:45,390 - Finish: chroot init
2024-08-02 17:57:45,392 - Start: chroot ['uname -r']
2024-08-02 17:57:45,432 - Finish: chroot ['uname -r']
2024-08-02 17:57:46,995 - Mock Version: 4.1
2024-08-02 17:57:47,406 - Finish: chroot init
2024-08-02 17:57:47,407 - Start: build phase for Agda-2.6.3-1.oc9.src.rpm
2024-08-02 17:57:47,410 - Start: build setup for Agda-2.6.3-1.oc9.src.rpm
2024-08-02 17:58:05,556 - Finish: build setup for Agda-2.6.3-1.oc9.src.rpm
2024-08-02 17:58:05,557 - Start: Outputting list of installed packages
2024-08-02 17:58:05,637 - Finish: Outputting list of installed packages
2024-08-02 17:58:05,637 - Start: rpmbuild Agda-2.6.3-1.oc9.src.rpm
2024-08-02 18:08:32,407 - Finish: rpmbuild Agda-2.6.3-1.oc9.src.rpm
2024-08-02 18:08:32,428 - Finish: build phase for Agda-2.6.3-1.oc9.src.rpm
2024-08-02 18:08:32,431 - Finish: run