2023-02-27 14:10:58,853 - Mock Version: 2.15
2023-02-27 14:11:00,612 - Start: dnf install
2023-02-27 14:16:18,195 - Finish: dnf install
2023-02-27 14:16:19,407 - Finish: chroot init
2023-02-27 14:16:19,889 - Finish: run
2023-02-27 14:16:32,814 - Mock Version: 2.15
2023-02-27 14:16:34,567 - Finish: chroot init
2023-02-27 14:16:34,590 - Start: chroot ['uname -r']
2023-02-27 14:16:34,681 - Finish: chroot ['uname -r']
2023-02-27 14:16:49,800 - Mock Version: 2.15
2023-02-27 14:16:53,869 - Finish: chroot init
2023-02-27 14:16:53,895 - Start: build phase for coq-8.16.1-3.fc38.src.rpm
2023-02-27 14:16:53,937 - Start: build setup for coq-8.16.1-3.fc38.src.rpm
2023-02-27 14:17:04,888 - Finish: build setup for coq-8.16.1-3.fc38.src.rpm
2023-02-27 14:17:04,890 - Finish: build phase for coq-8.16.1-3.fc38.src.rpm