2021-05-02 07:45:54,529 - Mock Version: 1.4.21
2021-05-02 07:46:03,460 - Start: dnf install
2021-05-02 07:57:25,090 - Finish: dnf install
2021-05-02 07:57:34,370 - Finish: chroot init
2021-05-02 07:57:36,977 - Finish: run
2021-05-02 07:58:17,054 - Mock Version: 1.4.21
2021-05-02 07:58:45,733 - Finish: chroot init
2021-05-02 07:58:45,929 - Start: build phase for coq-8.12.2-1.fc33.src.rpm
2021-05-02 07:58:46,220 - Start: build setup for coq-8.12.2-1.fc33.src.rpm
2021-05-02 07:59:34,491 - Finish: build setup for coq-8.12.2-1.fc33.src.rpm
2021-05-02 07:59:34,497 - Finish: build phase for coq-8.12.2-1.fc33.src.rpm