2024-06-19 11:20:40,897 - Mock Version: 4.1
2024-06-19 11:20:41,218 - Start: installing minimal buildroot with dnf
2024-06-19 11:21:01,243 - Finish: installing minimal buildroot with dnf
2024-06-19 11:21:01,482 - Finish: chroot init
2024-06-19 11:21:01,604 - Finish: run
2024-06-19 11:21:05,498 - Mock Version: 4.1
2024-06-19 11:21:05,850 - Finish: chroot init
2024-06-19 11:21:05,855 - Start: chroot ['uname -r']
2024-06-19 11:21:05,872 - Finish: chroot ['uname -r']
2024-06-19 11:21:09,835 - Mock Version: 4.1
2024-06-19 11:21:10,596 - Finish: chroot init
2024-06-19 11:21:10,601 - Start: build phase for Agda-2.6.3-1.ocs23.src.rpm
2024-06-19 11:21:10,609 - Start: build setup for Agda-2.6.3-1.ocs23.src.rpm
2024-06-19 11:21:31,884 - Finish: build setup for Agda-2.6.3-1.ocs23.src.rpm
2024-06-19 11:21:31,885 - Start: Outputting list of installed packages
2024-06-19 11:21:32,048 - Finish: Outputting list of installed packages
2024-06-19 11:21:32,049 - Start: rpmbuild Agda-2.6.3-1.ocs23.src.rpm
2024-06-19 11:32:22,346 - Finish: rpmbuild Agda-2.6.3-1.ocs23.src.rpm
2024-06-19 11:32:22,379 - Finish: build phase for Agda-2.6.3-1.ocs23.src.rpm
2024-06-19 11:32:22,388 - Finish: run