2020-06-05 09:23:03,218 - Mock Version: 1.4.21
2020-06-05 09:23:10,189 - Start: dnf install
2020-06-05 09:31:42,124 - Finish: dnf install
2020-06-05 09:31:48,701 - Finish: chroot init
2020-06-05 09:31:50,726 - Finish: run
2020-06-05 09:32:26,843 - Mock Version: 1.4.21
2020-06-05 09:32:45,896 - Finish: chroot init
2020-06-05 09:32:46,010 - Start: build phase for coq-8.11.1-1.fc33.src.rpm
2020-06-05 09:32:46,196 - Start: build setup for coq-8.11.1-1.fc33.src.rpm
2020-06-05 09:33:21,895 - Finish: build setup for coq-8.11.1-1.fc33.src.rpm
2020-06-05 09:33:21,899 - Finish: build phase for coq-8.11.1-1.fc33.src.rpm