2020-12-02 06:01:52,260 - Mock Version: 1.4.21
2020-12-02 06:01:58,570 - Start: dnf install
2020-12-02 06:09:11,203 - Finish: dnf install
2020-12-02 06:09:17,048 - Finish: chroot init
2020-12-02 06:09:18,530 - Finish: run
2020-12-02 06:09:43,052 - Mock Version: 1.4.21
2020-12-02 06:09:58,410 - Finish: chroot init
2020-12-02 06:09:58,508 - Start: build phase for coq-8.12.0-3.fc33.1.src.rpm
2020-12-02 06:09:58,665 - Start: build setup for coq-8.12.0-3.fc33.1.src.rpm
2020-12-02 06:10:28,612 - Finish: build setup for coq-8.12.0-3.fc33.1.src.rpm
2020-12-02 06:10:28,617 - Finish: build phase for coq-8.12.0-3.fc33.1.src.rpm