2023-05-19 11:25:09,234 - Mock Version: 3.5 2023-05-19 11:25:22,346 - Start: dnf install 2023-05-19 11:33:34,197 - Finish: dnf install 2023-05-19 11:33:41,799 - Finish: chroot init 2023-05-19 11:33:43,977 - Finish: run 2023-05-19 11:34:51,330 - Mock Version: 3.5 2023-05-19 11:35:11,471 - Finish: chroot init 2023-05-19 11:35:11,627 - Start: chroot ['uname -r'] 2023-05-19 11:35:12,289 - Finish: chroot ['uname -r'] 2023-05-19 11:36:32,398 - Mock Version: 3.5 2023-05-19 11:36:58,672 - Finish: chroot init 2023-05-19 11:36:58,829 - Start: build phase for coq-8.17.0-1.fc38.src.rpm 2023-05-19 11:36:59,072 - Start: build setup for coq-8.17.0-1.fc38.src.rpm 2023-05-19 11:37:27,103 - Finish: build setup for coq-8.17.0-1.fc38.src.rpm 2023-05-19 11:37:27,110 - Finish: build phase for coq-8.17.0-1.fc38.src.rpm