2020-09-02 21:53:22,779 - Mock Version: 2.4 2020-09-02 21:53:23,162 - Start: dnf install 2020-09-02 21:54:27,098 - Finish: dnf install 2020-09-02 21:54:27,429 - Finish: chroot init 2020-09-02 21:54:27,521 - Finish: run 2020-09-02 21:54:30,418 - Mock Version: 2.4 2020-09-02 21:54:30,808 - Finish: chroot init 2020-09-02 21:54:30,814 - Start: chroot ['uname -r'] 2020-09-02 21:54:30,849 - Finish: chroot ['uname -r'] 2020-09-02 21:54:34,049 - Mock Version: 2.4 2020-09-02 21:54:35,011 - Finish: chroot init 2020-09-02 21:54:35,017 - Start: build phase for coq-8.12.0-3.fc33.1.src.rpm 2020-09-02 21:54:35,026 - Start: build setup for coq-8.12.0-3.fc33.1.src.rpm 2020-09-02 21:58:29,547 - Finish: build setup for coq-8.12.0-3.fc33.1.src.rpm 2020-09-02 21:58:29,548 - Start: rpmbuild coq-8.12.0-3.fc33.1.src.rpm 2020-09-02 22:37:01,990 - Finish: rpmbuild coq-8.12.0-3.fc33.1.src.rpm 2020-09-02 22:37:02,625 - Finish: build phase for coq-8.12.0-3.fc33.1.src.rpm 2020-09-02 22:37:02,635 - Finish: run