2021-01-12 05:22:22,869 - Mock Version: 1.4.21
2021-01-12 05:22:31,912 - Start: dnf install
2021-01-12 05:31:29,324 - Finish: dnf install
2021-01-12 05:31:37,413 - Finish: chroot init
2021-01-12 05:31:39,059 - Finish: run
2021-01-12 05:32:08,905 - Mock Version: 1.4.21
2021-01-12 05:32:30,925 - Finish: chroot init
2021-01-12 05:32:31,049 - Start: build phase for coq-8.12.2-1.fc33.src.rpm
2021-01-12 05:32:31,243 - Start: build setup for coq-8.12.2-1.fc33.src.rpm
2021-01-12 05:33:07,732 - Finish: build setup for coq-8.12.2-1.fc33.src.rpm
2021-01-12 05:33:07,736 - Finish: build phase for coq-8.12.2-1.fc33.src.rpm