2019-07-31 15:46:40,700 - Mock Version: 1.4.14
2019-07-31 15:47:01,287 - Start: dnf install
2019-07-31 16:14:10,631 - Finish: dnf install
2019-07-31 16:14:48,957 - Finish: chroot init
2019-07-31 16:14:57,004 - Finish: run
2019-07-31 16:17:28,382 - Mock Version: 1.4.14
2019-07-31 16:18:30,706 - Finish: chroot init
2019-07-31 16:18:31,221 - Start: build phase for Agda-2.5.4.2-18.fc31.src.rpm
2019-07-31 16:18:32,006 - Start: build setup for Agda-2.5.4.2-18.fc31.src.rpm