2019-02-02 10:15:31,409 - Mock Version: 1.4.13 2019-02-02 10:15:31,786 - Start: dnf install 2019-02-02 10:17:00,617 - Finish: dnf install 2019-02-02 10:17:01,329 - Finish: chroot init 2019-02-02 10:17:01,520 - Finish: run 2019-02-02 10:17:04,436 - Mock Version: 1.4.13 2019-02-02 10:17:05,697 - Finish: chroot init 2019-02-02 10:17:05,707 - Start: build phase for Agda-2.5.3-15.fc30.src.rpm 2019-02-02 10:17:05,724 - Start: build setup for Agda-2.5.3-15.fc30.src.rpm 2019-02-02 10:19:56,002 - Finish: build setup for Agda-2.5.3-15.fc30.src.rpm 2019-02-02 10:19:56,002 - Start: rpmbuild Agda-2.5.3-15.fc30.src.rpm 2019-02-02 14:33:34,260 - Finish: rpmbuild Agda-2.5.3-15.fc30.src.rpm 2019-02-02 14:33:34,268 - Finish: build phase for Agda-2.5.3-15.fc30.src.rpm 2019-02-02 14:33:34,273 - Finish: run