2024-07-22 12:18:34,015 - Mock Version: 4.1
2024-07-22 12:18:34,346 - Start: installing minimal buildroot with dnf
2024-07-22 12:19:12,354 - Finish: installing minimal buildroot with dnf
2024-07-22 12:19:12,597 - Finish: chroot init
2024-07-22 12:19:12,735 - Finish: run
2024-07-22 12:19:14,713 - Mock Version: 4.1
2024-07-22 12:19:15,109 - Finish: chroot init
2024-07-22 12:19:15,113 - Start: chroot ['uname -r']
2024-07-22 12:19:15,131 - Finish: chroot ['uname -r']
2024-07-22 12:19:17,869 - Mock Version: 4.1
2024-07-22 12:19:18,647 - Finish: chroot init
2024-07-22 12:19:18,652 - Start: build phase for idris-1.3.4-1.ocs23.src.rpm
2024-07-22 12:19:18,660 - Start: build setup for idris-1.3.4-1.ocs23.src.rpm
2024-07-22 12:19:38,454 - Finish: build setup for idris-1.3.4-1.ocs23.src.rpm
2024-07-22 12:19:38,456 - Start: Outputting list of installed packages
2024-07-22 12:19:38,631 - Finish: Outputting list of installed packages
2024-07-22 12:19:38,631 - Start: rpmbuild idris-1.3.4-1.ocs23.src.rpm
2024-07-22 12:29:18,835 - Finish: rpmbuild idris-1.3.4-1.ocs23.src.rpm
2024-07-22 12:29:18,884 - Finish: build phase for idris-1.3.4-1.ocs23.src.rpm
2024-07-22 12:29:18,892 - Finish: run