2024-08-05 13:34:02,822 - Mock Version: 4.1
2024-08-05 13:34:03,180 - Start: installing minimal buildroot with dnf
2024-08-05 13:35:30,712 - Finish: installing minimal buildroot with dnf
2024-08-05 13:35:31,197 - Finish: chroot init
2024-08-05 13:35:31,526 - Finish: run
2024-08-05 13:35:34,800 - Mock Version: 4.1
2024-08-05 13:35:35,269 - Finish: chroot init
2024-08-05 13:35:35,271 - Start: chroot ['uname -r']
2024-08-05 13:35:35,346 - Finish: chroot ['uname -r']
2024-08-05 13:35:39,770 - Mock Version: 4.1
2024-08-05 13:35:41,057 - Finish: chroot init
2024-08-05 13:35:41,059 - Start: build phase for idris-1.3.4-1.oc9.src.rpm
2024-08-05 13:35:41,061 - Start: build setup for idris-1.3.4-1.oc9.src.rpm
2024-08-05 13:36:11,221 - Finish: build setup for idris-1.3.4-1.oc9.src.rpm
2024-08-05 13:36:11,222 - Start: Outputting list of installed packages
2024-08-05 13:36:11,469 - Finish: Outputting list of installed packages
2024-08-05 13:36:11,469 - Start: rpmbuild idris-1.3.4-1.oc9.src.rpm
2024-08-05 13:52:36,222 - Finish: rpmbuild idris-1.3.4-1.oc9.src.rpm
2024-08-05 13:52:36,253 - Finish: build phase for idris-1.3.4-1.oc9.src.rpm
2024-08-05 13:52:36,260 - Finish: run