2018-08-28 16:42:58,382 - Mock Version: 1.3.4 2018-08-28 16:42:58,670 - Start: dnf install 2018-08-28 16:44:12,891 - Finish: dnf install 2018-08-28 16:44:13,637 - Finish: chroot init 2018-08-28 16:44:13,702 - Finish: run 2018-08-28 16:44:15,317 - Mock Version: 1.3.4 2018-08-28 16:44:16,496 - Finish: chroot init 2018-08-28 16:44:16,502 - Start: build phase for Agda-stdlib-0.15-4.fc30.src.rpm 2018-08-28 16:44:16,513 - Start: build setup for Agda-stdlib-0.15-4.fc30.src.rpm 2018-08-28 16:46:07,277 - Finish: build setup for Agda-stdlib-0.15-4.fc30.src.rpm 2018-08-28 16:46:07,277 - Start: rpmbuild Agda-stdlib-0.15-4.fc30.src.rpm 2018-08-28 16:55:45,606 - Finish: rpmbuild Agda-stdlib-0.15-4.fc30.src.rpm 2018-08-28 16:55:45,612 - Finish: build phase for Agda-stdlib-0.15-4.fc30.src.rpm 2018-08-28 16:55:45,614 - Finish: run