2024-03-13 17:07:24,197 - Mock Version: 5.2
2024-03-13 17:07:24,248 - Start: chroot init
2024-03-13 17:07:27,152 - Start: installing minimal buildroot with dnf
2024-03-13 17:10:15,242 - Finish: installing minimal buildroot with dnf
2024-03-13 17:10:16,193 - Finish: chroot init
2024-03-13 17:10:16,475 - Finish: run
2024-03-13 17:10:21,055 - Mock Version: 5.2
2024-03-13 17:10:21,106 - Start: chroot init
2024-03-13 17:10:24,276 - Finish: chroot init
2024-03-13 17:10:24,305 - Start: chroot ['uname -r']
2024-03-13 17:10:24,383 - Finish: chroot ['uname -r']
2024-03-13 17:10:24,388 - Finish: run
2024-03-13 17:10:30,248 - Mock Version: 5.2
2024-03-13 17:10:30,311 - Start: chroot init
2024-03-13 17:10:34,834 - Finish: chroot init
2024-03-13 17:10:34,936 - Start: build phase for coq-8.18.0-4.fc40.src.rpm
2024-03-13 17:10:34,974 - Start: build setup for coq-8.18.0-4.fc40.src.rpm
2024-03-13 17:12:42,042 - Finish: build setup for coq-8.18.0-4.fc40.src.rpm
2024-03-13 17:12:42,049 - Start: Outputting list of installed packages
2024-03-13 17:12:42,640 - Finish: Outputting list of installed packages
2024-03-13 17:12:42,640 - Start: rpmbuild coq-8.18.0-4.fc40.src.rpm
2024-03-13 18:30:57,671 - Finish: rpmbuild coq-8.18.0-4.fc40.src.rpm
2024-03-13 18:30:59,328 - Finish: build phase for coq-8.18.0-4.fc40.src.rpm
2024-03-13 18:30:59,383 - Finish: run