2020-04-22 16:05:58,477 - Mock Version: 2.2
2020-04-22 16:06:00,100 - Start: dnf update
2020-04-22 16:06:03,499 - Finish: dnf update
2020-04-22 16:06:03,513 - Finish: chroot init
2020-04-22 16:06:03,516 - Start: build phase for coq-8.11.0-4.fc33.src.rpm
2020-04-22 16:06:03,518 - Start: build setup for coq-8.11.0-4.fc33.src.rpm
2020-04-22 16:08:05,070 - Finish: build setup for coq-8.11.0-4.fc33.src.rpm
2020-04-22 16:08:05,071 - Start: rpmbuild coq-8.11.0-4.fc33.src.rpm
2020-04-22 16:33:49,425 - Finish: rpmbuild coq-8.11.0-4.fc33.src.rpm
2020-04-22 16:33:49,570 - Finish: build phase for coq-8.11.0-4.fc33.src.rpm