2020-01-15 23:49:54,927 - Mock Version: 1.4.21
2020-01-15 23:49:55,340 - Start: dnf install
2020-01-15 23:50:45,135 - Finish: dnf install
2020-01-15 23:50:45,647 - Finish: chroot init
2020-01-15 23:50:45,722 - Finish: run
2020-01-15 23:50:48,483 - Mock Version: 1.4.21
2020-01-15 23:50:49,747 - Finish: chroot init
2020-01-15 23:50:49,756 - Start: build phase for coq-8.9.1-5.fc31.src.rpm
2020-01-15 23:50:49,768 - Start: build setup for coq-8.9.1-5.fc31.src.rpm
2020-01-15 23:52:40,640 - Finish: build setup for coq-8.9.1-5.fc31.src.rpm
2020-01-15 23:52:40,643 - Start: rpmbuild coq-8.9.1-5.fc31.src.rpm
2020-01-16 00:30:38,116 - Finish: rpmbuild coq-8.9.1-5.fc31.src.rpm
2020-01-16 00:30:38,498 - Finish: build phase for coq-8.9.1-5.fc31.src.rpm
2020-01-16 00:30:38,509 - Finish: run