2017-11-15 10:34:40,185 - Mock Version: 1.3.4 2017-11-15 10:34:40,302 - Start: dnf install 2017-11-15 10:35:34,163 - Finish: dnf install 2017-11-15 10:35:34,363 - Finish: chroot init 2017-11-15 10:35:34,416 - Finish: run 2017-11-15 10:35:36,634 - Mock Version: 1.3.4 2017-11-15 10:35:36,990 - Finish: chroot init 2017-11-15 10:35:36,992 - Start: build phase for Agda-2.5.2-9.fc27.src.rpm 2017-11-15 10:35:36,996 - Start: build setup for Agda-2.5.2-9.fc27.src.rpm 2017-11-15 10:36:51,232 - Finish: build setup for Agda-2.5.2-9.fc27.src.rpm 2017-11-15 10:36:51,232 - Start: rpmbuild Agda-2.5.2-9.fc27.src.rpm 2017-11-15 11:10:24,206 - Finish: rpmbuild Agda-2.5.2-9.fc27.src.rpm 2017-11-15 11:10:24,209 - Finish: build phase for Agda-2.5.2-9.fc27.src.rpm 2017-11-15 11:10:24,210 - Finish: run