2024-05-08 21:52:58,796 - Mock Version: 4.1
2024-05-08 21:52:59,120 - Start: installing minimal buildroot with dnf
2024-05-08 21:53:23,902 - Finish: installing minimal buildroot with dnf
2024-05-08 21:53:24,148 - Finish: chroot init
2024-05-08 21:53:24,279 - Finish: run
2024-05-08 21:53:28,279 - Mock Version: 4.1
2024-05-08 21:53:28,644 - Finish: chroot init
2024-05-08 21:53:28,649 - Start: chroot ['uname -r']
2024-05-08 21:53:28,668 - Finish: chroot ['uname -r']
2024-05-08 21:53:32,982 - Mock Version: 4.1
2024-05-08 21:53:33,766 - Finish: chroot init
2024-05-08 21:53:33,771 - Start: build phase for idris-1.3.4-1.ocs23.src.rpm
2024-05-08 21:53:33,780 - Start: build setup for idris-1.3.4-1.ocs23.src.rpm
2024-05-08 21:53:34,571 - Finish: build setup for idris-1.3.4-1.ocs23.src.rpm
2024-05-08 21:53:34,571 - Finish: build phase for idris-1.3.4-1.ocs23.src.rpm