2021-03-02 11:00:15,643 - Mock Version: 1.4.21
2021-03-02 11:00:23,772 - Start: dnf install
2021-03-02 11:13:52,229 - Finish: dnf install
2021-03-02 11:14:10,621 - Finish: chroot init
2021-03-02 11:14:13,027 - Finish: run
2021-03-02 11:14:47,609 - Mock Version: 1.4.21
2021-03-02 11:15:48,469 - Finish: chroot init
2021-03-02 11:15:48,595 - Start: build phase for coq-8.12.2-1.fc33.src.rpm
2021-03-02 11:15:48,784 - Start: build setup for coq-8.12.2-1.fc33.src.rpm
2021-03-02 11:16:39,191 - Finish: build setup for coq-8.12.2-1.fc33.src.rpm
2021-03-02 11:16:39,195 - Finish: build phase for coq-8.12.2-1.fc33.src.rpm