2021-02-02 08:40:22,502 - Mock Version: 1.4.21
2021-02-02 08:40:30,570 - Start: dnf install
2021-02-02 08:50:01,152 - Finish: dnf install
2021-02-02 08:50:08,804 - Finish: chroot init
2021-02-02 08:50:10,568 - Finish: run
2021-02-02 08:50:46,089 - Mock Version: 1.4.21
2021-02-02 08:51:08,702 - Finish: chroot init
2021-02-02 08:51:08,821 - Start: build phase for coq-8.12.2-1.fc33.src.rpm
2021-02-02 08:51:09,006 - Start: build setup for coq-8.12.2-1.fc33.src.rpm
2021-02-02 08:51:48,191 - Finish: build setup for coq-8.12.2-1.fc33.src.rpm
2021-02-02 08:51:48,199 - Finish: build phase for coq-8.12.2-1.fc33.src.rpm