2025-08-04 21:47:22,217 - Mock Version: 4.1
2025-08-04 21:47:22,338 - Start: installing minimal buildroot with dnf
2025-08-04 21:47:56,295 - Finish: installing minimal buildroot with dnf
2025-08-04 21:47:56,453 - Finish: chroot init
2025-08-04 21:47:56,530 - Finish: run
2025-08-04 21:47:57,592 - Mock Version: 4.1
2025-08-04 21:47:57,727 - Finish: chroot init
2025-08-04 21:47:57,729 - Start: chroot ['uname -r']
2025-08-04 21:47:57,754 - Finish: chroot ['uname -r']
2025-08-04 21:48:00,136 - Mock Version: 4.1
2025-08-04 21:48:00,537 - Finish: chroot init
2025-08-04 21:48:00,539 - Start: build phase for idris-1.3.4-2.oc9.src.rpm
2025-08-04 21:48:00,541 - Start: build setup for idris-1.3.4-2.oc9.src.rpm
2025-08-04 21:48:33,937 - Finish: build setup for idris-1.3.4-2.oc9.src.rpm
2025-08-04 21:48:33,937 - Start: Outputting list of installed packages
2025-08-04 21:48:34,031 - Finish: Outputting list of installed packages
2025-08-04 21:48:34,031 - Start: rpmbuild idris-1.3.4-2.oc9.src.rpm