2021-05-01 15:18:02,138 - Mock Version: 1.4.21
2021-05-01 15:18:13,769 - Start: dnf install
2021-05-01 15:31:07,579 - Finish: dnf install
2021-05-01 15:31:21,280 - Finish: chroot init
2021-05-01 15:31:23,537 - Finish: run
2021-05-01 15:32:07,114 - Mock Version: 1.4.21
2021-05-01 15:32:37,959 - Finish: chroot init
2021-05-01 15:32:38,161 - Start: build phase for coq-8.12.2-1.fc33.src.rpm
2021-05-01 15:32:38,452 - Start: build setup for coq-8.12.2-1.fc33.src.rpm
2021-05-01 15:33:34,952 - Finish: build setup for coq-8.12.2-1.fc33.src.rpm
2021-05-01 15:33:34,959 - Finish: build phase for coq-8.12.2-1.fc33.src.rpm