2021-02-08 04:38:43,376 - Mock Version: 1.4.21
2021-02-08 04:38:52,744 - Start: dnf install
2021-02-08 04:50:18,563 - Finish: dnf install
2021-02-08 04:50:28,518 - Finish: chroot init
2021-02-08 04:50:31,270 - Finish: run
2021-02-08 04:51:09,169 - Mock Version: 1.4.21
2021-02-08 04:51:35,596 - Finish: chroot init
2021-02-08 04:51:35,715 - Start: build phase for coq-8.12.2-1.fc33.src.rpm
2021-02-08 04:51:35,947 - Start: build setup for coq-8.12.2-1.fc33.src.rpm
2021-02-08 04:52:21,805 - Finish: build setup for coq-8.12.2-1.fc33.src.rpm
2021-02-08 04:52:21,810 - Finish: build phase for coq-8.12.2-1.fc33.src.rpm