2018-08-28 16:42:58,700 - Mock Version: 1.3.4 2018-08-28 16:42:59,097 - Start: dnf install 2018-08-28 16:44:51,473 - Finish: dnf install 2018-08-28 16:44:52,186 - Finish: chroot init 2018-08-28 16:44:52,324 - Finish: run 2018-08-28 16:44:55,191 - Mock Version: 1.3.4 2018-08-28 16:44:56,841 - Finish: chroot init 2018-08-28 16:44:56,853 - Start: build phase for Agda-stdlib-0.15-4.fc30.src.rpm 2018-08-28 16:44:56,871 - Start: build setup for Agda-stdlib-0.15-4.fc30.src.rpm 2018-08-28 16:47:20,226 - Finish: build setup for Agda-stdlib-0.15-4.fc30.src.rpm 2018-08-28 16:47:20,227 - Start: rpmbuild Agda-stdlib-0.15-4.fc30.src.rpm 2018-08-28 16:59:36,065 - Finish: rpmbuild Agda-stdlib-0.15-4.fc30.src.rpm 2018-08-28 16:59:36,075 - Finish: build phase for Agda-stdlib-0.15-4.fc30.src.rpm 2018-08-28 16:59:36,080 - Finish: run