2023-05-30 20:05:09,845 - Mock Version: 3.5
2023-05-30 20:05:26,743 - Start: dnf install
2023-05-30 20:14:37,826 - Finish: dnf install
2023-05-30 20:14:46,634 - Finish: chroot init
2023-05-30 20:14:48,828 - Finish: run
2023-05-30 20:15:57,313 - Mock Version: 3.5
2023-05-30 20:16:14,172 - Finish: chroot init
2023-05-30 20:16:14,342 - Start: chroot ['uname -r']
2023-05-30 20:16:14,976 - Finish: chroot ['uname -r']
2023-05-30 20:17:45,328 - Mock Version: 3.5
2023-05-30 20:18:16,623 - Finish: chroot init
2023-05-30 20:18:16,797 - Start: build phase for coq-8.17.0-1.fc38.src.rpm
2023-05-30 20:18:17,084 - Start: build setup for coq-8.17.0-1.fc38.src.rpm
2023-05-30 20:18:47,361 - Finish: build setup for coq-8.17.0-1.fc38.src.rpm
2023-05-30 20:18:47,371 - Finish: build phase for coq-8.17.0-1.fc38.src.rpm