2023-05-05 20:04:58,536 - Mock Version: 3.5
2023-05-05 20:05:15,537 - Start: dnf install
2023-05-05 20:13:42,928 - Finish: dnf install
2023-05-05 20:13:51,271 - Finish: chroot init
2023-05-05 20:13:53,548 - Finish: run
2023-05-05 20:15:06,800 - Mock Version: 3.5
2023-05-05 20:15:24,902 - Finish: chroot init
2023-05-05 20:15:25,066 - Start: chroot ['uname -r']
2023-05-05 20:15:25,756 - Finish: chroot ['uname -r']
2023-05-05 20:16:52,676 - Mock Version: 3.5
2023-05-05 20:17:22,257 - Finish: chroot init
2023-05-05 20:17:22,430 - Start: build phase for coq-8.17.0-1.fc38.src.rpm
2023-05-05 20:17:22,702 - Start: build setup for coq-8.17.0-1.fc38.src.rpm
2023-05-05 20:17:51,442 - Finish: build setup for coq-8.17.0-1.fc38.src.rpm
2023-05-05 20:17:51,454 - Finish: build phase for coq-8.17.0-1.fc38.src.rpm