2024-06-29 19:12:23,068 - Mock Version: 5.5
2024-06-29 19:12:23,280 - Start: chroot init
2024-06-29 19:12:32,389 - Start: installing minimal buildroot with dnf5
2024-06-29 19:16:12,401 - Finish: installing minimal buildroot with dnf5
2024-06-29 19:16:17,858 - Finish: chroot init
2024-06-29 19:16:18,964 - Finish: run
2024-06-29 19:16:37,655 - Mock Version: 5.5
2024-06-29 19:16:37,857 - Start: chroot init
2024-06-29 19:16:49,160 - Finish: chroot init
2024-06-29 19:16:49,240 - Start: chroot ['uname -r']
2024-06-29 19:16:51,372 - Finish: chroot ['uname -r']
2024-06-29 19:16:51,422 - Finish: run
2024-06-29 19:17:35,759 - Mock Version: 5.5
2024-06-29 19:17:36,077 - Start: chroot init
2024-06-29 19:17:54,006 - Finish: chroot init
2024-06-29 19:17:54,082 - Start: build phase for coq-8.18.0-4.fc40.src.rpm
2024-06-29 19:17:54,144 - Start: build setup for coq-8.18.0-4.fc40.src.rpm
2024-06-29 19:18:23,858 - Finish: build setup for coq-8.18.0-4.fc40.src.rpm
2024-06-29 19:18:23,861 - Finish: build phase for coq-8.18.0-4.fc40.src.rpm