2024-05-14 20:39:25,955 - Mock Version: 4.1
2024-05-14 20:39:26,288 - Start: installing minimal buildroot with dnf
2024-05-14 20:39:46,906 - Finish: installing minimal buildroot with dnf
2024-05-14 20:39:47,179 - Finish: chroot init
2024-05-14 20:39:47,312 - Finish: run
2024-05-14 20:39:49,485 - Mock Version: 4.1
2024-05-14 20:39:49,988 - Finish: chroot init
2024-05-14 20:39:49,994 - Start: chroot ['uname -r']
2024-05-14 20:39:50,014 - Finish: chroot ['uname -r']
2024-05-14 20:39:53,565 - Mock Version: 4.1
2024-05-14 20:39:54,665 - Finish: chroot init
2024-05-14 20:39:54,670 - Start: build phase for Agda-2.6.3-1.ocs23.src.rpm
2024-05-14 20:39:54,678 - Start: build setup for Agda-2.6.3-1.ocs23.src.rpm
2024-05-14 20:39:55,419 - Finish: build setup for Agda-2.6.3-1.ocs23.src.rpm
2024-05-14 20:39:55,419 - Finish: build phase for Agda-2.6.3-1.ocs23.src.rpm