2017-03-12 07:39:51,424 - Mock Version: 1.3.4 2017-03-12 07:39:51,546 - Start: dnf install 2017-03-12 07:40:46,251 - Finish: dnf install 2017-03-12 07:40:46,702 - Finish: chroot init 2017-03-12 07:40:46,790 - Finish: run 2017-03-12 07:40:49,802 - Mock Version: 1.3.4 2017-03-12 07:40:50,295 - Finish: chroot init 2017-03-12 07:40:50,298 - Start: build phase for Agda-2.5.2-5.fc27.src.rpm 2017-03-12 07:40:50,303 - Start: build setup for Agda-2.5.2-5.fc27.src.rpm 2017-03-12 07:42:08,589 - Finish: build setup for Agda-2.5.2-5.fc27.src.rpm 2017-03-12 07:42:08,590 - Start: rpmbuild Agda-2.5.2-5.fc27.src.rpm 2017-03-12 08:02:11,997 - Finish: rpmbuild Agda-2.5.2-5.fc27.src.rpm 2017-03-12 08:02:12,001 - Finish: build phase for Agda-2.5.2-5.fc27.src.rpm 2017-03-12 08:02:12,003 - Finish: run