2020-03-28 15:37:39,732 - Mock Version: 1.4.21
2020-03-28 15:37:48,374 - Start: dnf install
2020-03-28 15:48:06,819 - Finish: dnf install
2020-03-28 15:48:15,802 - Finish: chroot init
2020-03-28 15:48:17,839 - Finish: run
2020-03-28 15:48:58,696 - Mock Version: 1.4.21
2020-03-28 15:49:22,573 - Finish: chroot init
2020-03-28 15:49:22,722 - Start: build phase for coq-8.11.0-1.fc33.src.rpm
2020-03-28 15:49:22,930 - Start: build setup for coq-8.11.0-1.fc33.src.rpm
2020-03-28 15:50:09,479 - Finish: build setup for coq-8.11.0-1.fc33.src.rpm
2020-03-28 15:50:09,486 - Finish: build phase for coq-8.11.0-1.fc33.src.rpm