2024-05-09 20:19:31,008 - Mock Version: 4.1
2024-05-09 20:19:31,399 - Start: installing minimal buildroot with dnf
2024-05-09 20:19:52,906 - Finish: installing minimal buildroot with dnf
2024-05-09 20:19:53,153 - Finish: chroot init
2024-05-09 20:19:53,283 - Finish: run
2024-05-09 20:19:56,078 - Mock Version: 4.1
2024-05-09 20:19:56,483 - Finish: chroot init
2024-05-09 20:19:56,487 - Start: chroot ['uname -r']
2024-05-09 20:19:56,505 - Finish: chroot ['uname -r']
2024-05-09 20:19:59,271 - Mock Version: 4.1
2024-05-09 20:20:00,162 - Finish: chroot init
2024-05-09 20:20:00,167 - Start: build phase for Agda-2.6.3-1.ocs23.src.rpm
2024-05-09 20:20:00,174 - Start: build setup for Agda-2.6.3-1.ocs23.src.rpm
2024-05-09 20:20:00,871 - Finish: build setup for Agda-2.6.3-1.ocs23.src.rpm
2024-05-09 20:20:00,871 - Finish: build phase for Agda-2.6.3-1.ocs23.src.rpm