2019-08-14 08:36:53,443 - Mock Version: 1.4.14 2019-08-14 08:37:12,345 - Start: dnf install 2019-08-14 09:04:40,266 - Finish: dnf install 2019-08-14 09:05:06,235 - Finish: chroot init 2019-08-14 09:05:13,742 - Finish: run 2019-08-14 09:07:19,841 - Mock Version: 1.4.14 2019-08-14 09:08:17,916 - Finish: chroot init 2019-08-14 09:08:18,171 - Start: build phase for Agda-2.6.0.1-19.fc31.src.rpm 2019-08-14 09:08:18,965 - Start: build setup for Agda-2.6.0.1-19.fc31.src.rpm