2021-02-07 11:25:03,835 - Mock Version: 1.4.21
2021-02-07 11:25:11,132 - Start: dnf install
2021-02-07 11:34:57,669 - Finish: dnf install
2021-02-07 11:35:06,128 - Finish: chroot init
2021-02-07 11:35:07,916 - Finish: run
2021-02-07 11:35:39,739 - Mock Version: 1.4.21
2021-02-07 11:36:02,528 - Finish: chroot init
2021-02-07 11:36:02,662 - Start: build phase for coq-8.12.2-1.fc33.src.rpm
2021-02-07 11:36:02,848 - Start: build setup for coq-8.12.2-1.fc33.src.rpm
2021-02-07 11:36:44,085 - Finish: build setup for coq-8.12.2-1.fc33.src.rpm
2021-02-07 11:36:44,091 - Finish: build phase for coq-8.12.2-1.fc33.src.rpm