2018-07-12 18:59:28,829 - Mock Version: 1.3.4 2018-07-12 18:59:28,915 - Start: dnf install 2018-07-12 19:00:12,977 - Finish: dnf install 2018-07-12 19:00:13,245 - Finish: chroot init 2018-07-12 19:00:13,294 - Finish: run 2018-07-12 19:00:15,490 - Mock Version: 1.3.4 2018-07-12 19:00:15,976 - Finish: chroot init 2018-07-12 19:00:15,978 - Start: build phase for Agda-stdlib-0.15-2.fc29.src.rpm 2018-07-12 19:00:15,981 - Start: build setup for Agda-stdlib-0.15-2.fc29.src.rpm 2018-07-12 19:01:02,814 - Finish: build setup for Agda-stdlib-0.15-2.fc29.src.rpm 2018-07-12 19:01:02,814 - Start: rpmbuild Agda-stdlib-0.15-2.fc29.src.rpm 2018-07-12 19:04:21,797 - Finish: rpmbuild Agda-stdlib-0.15-2.fc29.src.rpm 2018-07-12 19:04:21,799 - Finish: build phase for Agda-stdlib-0.15-2.fc29.src.rpm 2018-07-12 19:04:21,800 - Finish: run