2024-01-29 15:12:56,587 - Mock Version: 5.0 2024-01-29 15:12:58,533 - Start: chroot init 2024-01-29 15:15:19,378 - Start: installing minimal buildroot with dnf 2024-01-29 16:16:04,999 - Finish: installing minimal buildroot with dnf 2024-01-29 16:17:01,607 - Finish: chroot init 2024-01-29 16:17:13,013 - Finish: run 2024-01-29 16:20:07,837 - Mock Version: 5.0 2024-01-29 16:20:10,401 - Start: chroot init 2024-01-29 16:23:29,474 - Finish: chroot init 2024-01-29 16:23:30,594 - Start: chroot ['uname -r'] 2024-01-29 16:23:34,643 - Finish: chroot ['uname -r'] 2024-01-29 16:28:07,281 - Mock Version: 5.0 2024-01-29 16:28:10,072 - Start: chroot init 2024-01-29 16:32:06,498 - Finish: chroot init 2024-01-29 16:32:07,286 - Start: build phase for coq-8.18.0-3.fc40.src.rpm 2024-01-29 16:32:08,817 - Start: build setup for coq-8.18.0-3.fc40.src.rpm 2024-01-29 16:35:23,881 - Finish: build setup for coq-8.18.0-3.fc40.src.rpm 2024-01-29 16:35:23,886 - Finish: build phase for coq-8.18.0-3.fc40.src.rpm