2018-08-29 04:31:10,287 - Mock Version: 1.3.4 2018-08-29 04:31:10,585 - Start: dnf install 2018-08-29 04:32:46,748 - Finish: dnf install 2018-08-29 04:32:47,888 - Finish: chroot init 2018-08-29 04:32:48,010 - Finish: run 2018-08-29 04:32:50,900 - Mock Version: 1.3.4 2018-08-29 04:32:52,510 - Finish: chroot init 2018-08-29 04:32:52,517 - Start: build phase for Agda-stdlib-0.15-4.fc28.src.rpm 2018-08-29 04:32:52,527 - Start: build setup for Agda-stdlib-0.15-4.fc28.src.rpm 2018-08-29 04:35:38,632 - Finish: build setup for Agda-stdlib-0.15-4.fc28.src.rpm 2018-08-29 04:35:38,632 - Start: rpmbuild Agda-stdlib-0.15-4.fc28.src.rpm 2018-08-29 04:45:27,313 - Finish: rpmbuild Agda-stdlib-0.15-4.fc28.src.rpm 2018-08-29 04:45:27,319 - Finish: build phase for Agda-stdlib-0.15-4.fc28.src.rpm 2018-08-29 04:45:27,321 - Finish: run