2024-07-22 12:18:37,160 - Mock Version: 4.1
2024-07-22 12:18:37,481 - Start: installing minimal buildroot with dnf
2024-07-22 12:19:11,949 - Finish: installing minimal buildroot with dnf
2024-07-22 12:19:12,187 - Finish: chroot init
2024-07-22 12:19:12,321 - Finish: run
2024-07-22 12:19:16,273 - Mock Version: 4.1
2024-07-22 12:19:16,637 - Finish: chroot init
2024-07-22 12:19:16,642 - Start: chroot ['uname -r']
2024-07-22 12:19:16,659 - Finish: chroot ['uname -r']
2024-07-22 12:19:20,577 - Mock Version: 4.1
2024-07-22 12:19:21,325 - Finish: chroot init
2024-07-22 12:19:21,330 - Start: build phase for idris-1.3.4-1.ocs23.src.rpm
2024-07-22 12:19:21,338 - Start: build setup for idris-1.3.4-1.ocs23.src.rpm
2024-07-22 12:19:39,263 - Finish: build setup for idris-1.3.4-1.ocs23.src.rpm
2024-07-22 12:19:39,265 - Start: Outputting list of installed packages
2024-07-22 12:19:39,438 - Finish: Outputting list of installed packages
2024-07-22 12:19:39,438 - Start: rpmbuild idris-1.3.4-1.ocs23.src.rpm
2024-07-22 12:32:09,911 - Finish: rpmbuild idris-1.3.4-1.ocs23.src.rpm
2024-07-22 12:32:09,944 - Finish: build phase for idris-1.3.4-1.ocs23.src.rpm
2024-07-22 12:32:09,953 - Finish: run