2024-05-08 20:42:34,198 - Mock Version: 4.1
2024-05-08 20:42:34,537 - Start: installing minimal buildroot with dnf
2024-05-08 20:42:59,000 - Finish: installing minimal buildroot with dnf
2024-05-08 20:42:59,260 - Finish: chroot init
2024-05-08 20:42:59,384 - Finish: run
2024-05-08 20:43:02,231 - Mock Version: 4.1
2024-05-08 20:43:02,650 - Finish: chroot init
2024-05-08 20:43:02,655 - Start: chroot ['uname -r']
2024-05-08 20:43:02,675 - Finish: chroot ['uname -r']
2024-05-08 20:43:05,710 - Mock Version: 4.1
2024-05-08 20:43:06,538 - Finish: chroot init
2024-05-08 20:43:06,543 - Start: build phase for Agda-2.6.3-1.ocs23.src.rpm
2024-05-08 20:43:06,550 - Start: build setup for Agda-2.6.3-1.ocs23.src.rpm
2024-05-08 20:43:07,266 - Finish: build setup for Agda-2.6.3-1.ocs23.src.rpm
2024-05-08 20:43:07,266 - Finish: build phase for Agda-2.6.3-1.ocs23.src.rpm