2019-07-24 15:41:06,256 - Mock Version: 1.4.16 2019-07-24 15:41:06,800 - Start: dnf install 2019-07-24 15:42:38,246 - Finish: dnf install 2019-07-24 15:42:39,061 - Finish: chroot init 2019-07-24 15:42:39,229 - Finish: run 2019-07-24 15:42:44,092 - Mock Version: 1.4.16 2019-07-24 15:42:45,714 - Finish: chroot init 2019-07-24 15:42:45,725 - Start: build phase for Agda-stdlib-0.17-2.fc31.src.rpm 2019-07-24 15:42:45,743 - Start: build setup for Agda-stdlib-0.17-2.fc31.src.rpm 2019-07-24 15:45:50,783 - Finish: build setup for Agda-stdlib-0.17-2.fc31.src.rpm 2019-07-24 15:45:50,784 - Start: rpmbuild Agda-stdlib-0.17-2.fc31.src.rpm 2019-07-24 16:14:23,808 - Finish: rpmbuild Agda-stdlib-0.17-2.fc31.src.rpm 2019-07-24 16:14:23,823 - Finish: build phase for Agda-stdlib-0.17-2.fc31.src.rpm 2019-07-24 16:14:23,833 - Finish: run