2019-07-24 09:31:49,257 - Mock Version: 1.4.14 2019-07-24 09:32:05,645 - Start: dnf install 2019-07-24 09:58:02,255 - Finish: dnf install 2019-07-24 09:58:24,893 - Finish: chroot init 2019-07-24 09:58:29,638 - Finish: run 2019-07-24 10:00:19,162 - Mock Version: 1.4.14 2019-07-24 10:01:11,921 - Finish: chroot init 2019-07-24 10:01:12,345 - Start: build phase for Agda-2.5.4.2-17.fc31.src.rpm 2019-07-24 10:01:13,105 - Start: build setup for Agda-2.5.4.2-17.fc31.src.rpm 2019-07-24 11:35:49,246 - Finish: build setup for Agda-2.5.4.2-17.fc31.src.rpm 2019-07-24 11:35:49,254 - Start: rpmbuild Agda-2.5.4.2-17.fc31.src.rpm