2024-06-19 11:20:43,617 - Mock Version: 4.1
2024-06-19 11:20:43,948 - Start: installing minimal buildroot with dnf
2024-06-19 11:21:03,400 - Finish: installing minimal buildroot with dnf
2024-06-19 11:21:03,658 - Finish: chroot init
2024-06-19 11:21:03,790 - Finish: run
2024-06-19 11:21:06,505 - Mock Version: 4.1
2024-06-19 11:21:06,882 - Finish: chroot init
2024-06-19 11:21:06,886 - Start: chroot ['uname -r']
2024-06-19 11:21:06,904 - Finish: chroot ['uname -r']
2024-06-19 11:21:09,655 - Mock Version: 4.1
2024-06-19 11:21:10,449 - Finish: chroot init
2024-06-19 11:21:10,454 - Start: build phase for Agda-2.6.3-1.ocs23.src.rpm
2024-06-19 11:21:10,461 - Start: build setup for Agda-2.6.3-1.ocs23.src.rpm
2024-06-19 11:21:36,671 - Finish: build setup for Agda-2.6.3-1.ocs23.src.rpm
2024-06-19 11:21:36,672 - Start: Outputting list of installed packages
2024-06-19 11:21:36,839 - Finish: Outputting list of installed packages
2024-06-19 11:21:36,839 - Start: rpmbuild Agda-2.6.3-1.ocs23.src.rpm
2024-06-19 11:30:12,363 - Finish: rpmbuild Agda-2.6.3-1.ocs23.src.rpm
2024-06-19 11:30:12,410 - Finish: build phase for Agda-2.6.3-1.ocs23.src.rpm
2024-06-19 11:30:12,418 - Finish: run