2018-02-24 23:23:06,555 - Mock Version: 1.3.4 2018-02-24 23:23:07,017 - Start: dnf install 2018-02-24 23:25:18,601 - Finish: dnf install 2018-02-24 23:25:19,246 - Finish: chroot init 2018-02-24 23:25:19,440 - Finish: run 2018-02-24 23:25:24,688 - Mock Version: 1.3.4 2018-02-24 23:25:25,997 - Finish: chroot init 2018-02-24 23:25:26,010 - Start: build phase for coq-8.7.1-2.fc29.src.rpm 2018-02-24 23:25:26,031 - Start: build setup for coq-8.7.1-2.fc29.src.rpm 2018-02-24 23:35:10,684 - Finish: build setup for coq-8.7.1-2.fc29.src.rpm 2018-02-24 23:35:10,684 - Start: rpmbuild coq-8.7.1-2.fc29.src.rpm 2018-02-25 00:18:45,292 - Finish: rpmbuild coq-8.7.1-2.fc29.src.rpm 2018-02-25 00:18:45,309 - Finish: build phase for coq-8.7.1-2.fc29.src.rpm 2018-02-25 00:18:45,314 - Finish: run