2023-06-02 08:58:03,581 - Mock Version: 3.5
2023-06-02 08:58:18,332 - Start: dnf install
2023-06-02 09:07:27,493 - Finish: dnf install
2023-06-02 09:07:36,531 - Finish: chroot init
2023-06-02 09:07:39,388 - Finish: run
2023-06-02 09:09:43,593 - Mock Version: 3.5
2023-06-02 09:10:06,772 - Finish: chroot init
2023-06-02 09:10:07,052 - Start: chroot ['uname -r']
2023-06-02 09:10:08,072 - Finish: chroot ['uname -r']
2023-06-02 09:12:12,275 - Mock Version: 3.5
2023-06-02 09:12:50,398 - Finish: chroot init
2023-06-02 09:12:50,653 - Start: build phase for coq-8.17.0-1.fc38.src.rpm
2023-06-02 09:12:50,959 - Start: build setup for coq-8.17.0-1.fc38.src.rpm
2023-06-02 09:13:30,012 - Finish: build setup for coq-8.17.0-1.fc38.src.rpm
2023-06-02 09:13:30,021 - Finish: build phase for coq-8.17.0-1.fc38.src.rpm