2018-08-29 04:31:08,395 - Mock Version: 1.3.4 2018-08-29 04:31:08,523 - Start: dnf install 2018-08-29 04:32:09,144 - Finish: dnf install 2018-08-29 04:32:09,360 - Finish: chroot init 2018-08-29 04:32:09,447 - Finish: run 2018-08-29 04:32:11,613 - Mock Version: 1.3.4 2018-08-29 04:32:12,047 - Finish: chroot init 2018-08-29 04:32:12,050 - Start: build phase for Agda-stdlib-0.15-4.fc28.src.rpm 2018-08-29 04:32:12,065 - Start: build setup for Agda-stdlib-0.15-4.fc28.src.rpm 2018-08-29 04:33:01,511 - Finish: build setup for Agda-stdlib-0.15-4.fc28.src.rpm 2018-08-29 04:33:01,511 - Start: rpmbuild Agda-stdlib-0.15-4.fc28.src.rpm 2018-08-29 04:37:44,373 - Finish: rpmbuild Agda-stdlib-0.15-4.fc28.src.rpm 2018-08-29 04:37:44,376 - Finish: build phase for Agda-stdlib-0.15-4.fc28.src.rpm 2018-08-29 04:37:44,378 - Finish: run