2020-05-20 16:27:31,083 - Mock Version: 2.2
2020-05-20 16:27:32,692 - Start: dnf update
2020-05-20 16:27:35,989 - Finish: dnf update
2020-05-20 16:27:36,003 - Finish: chroot init
2020-05-20 16:27:36,006 - Start: build phase for coq-8.11.1-1.fc33.src.rpm
2020-05-20 16:27:36,007 - Start: build setup for coq-8.11.1-1.fc33.src.rpm
2020-05-20 16:30:10,724 - Finish: build setup for coq-8.11.1-1.fc33.src.rpm
2020-05-20 16:30:10,725 - Start: rpmbuild coq-8.11.1-1.fc33.src.rpm
2020-05-20 16:52:22,927 - Finish: rpmbuild coq-8.11.1-1.fc33.src.rpm
2020-05-20 16:52:23,056 - Finish: build phase for coq-8.11.1-1.fc33.src.rpm