2024-08-07 12:22:28,556 - Mock Version: 5.5
2024-08-07 12:22:28,796 - Start: chroot init
2024-08-07 12:22:37,263 - Start: installing minimal buildroot with dnf5
2024-08-07 12:25:48,427 - Finish: installing minimal buildroot with dnf5
2024-08-07 12:25:52,742 - Finish: chroot init
2024-08-07 12:25:53,745 - Finish: run
2024-08-07 12:26:09,119 - Mock Version: 5.5
2024-08-07 12:26:09,314 - Start: chroot init
2024-08-07 12:26:20,820 - Finish: chroot init
2024-08-07 12:26:20,901 - Start: chroot ['uname -r']
2024-08-07 12:26:23,252 - Finish: chroot ['uname -r']
2024-08-07 12:26:23,275 - Finish: run
2024-08-07 12:27:01,376 - Mock Version: 5.5
2024-08-07 12:27:01,625 - Start: chroot init
2024-08-07 12:27:18,074 - Finish: chroot init
2024-08-07 12:27:18,148 - Start: build phase for coq-8.18.0-4.fc40.src.rpm
2024-08-07 12:27:18,204 - Start: build setup for coq-8.18.0-4.fc40.src.rpm
2024-08-07 12:27:45,322 - Finish: build setup for coq-8.18.0-4.fc40.src.rpm
2024-08-07 12:27:45,325 - Finish: build phase for coq-8.18.0-4.fc40.src.rpm