2019-08-29 16:37:22,698 - Mock Version: 1.4.16
2019-08-29 16:37:23,997 - Start: dnf update
2019-08-29 16:37:25,963 - Finish: dnf update
2019-08-29 16:37:25,983 - Finish: chroot init
2019-08-29 16:37:25,986 - Start: build phase for lean3-3.4.2-2.fc32.src.rpm
2019-08-29 16:37:25,988 - Start: build setup for lean3-3.4.2-2.fc32.src.rpm
2019-08-29 16:37:36,673 - Finish: build setup for lean3-3.4.2-2.fc32.src.rpm
2019-08-29 16:37:36,673 - Start: rpmbuild lean3-3.4.2-2.fc32.src.rpm
2019-08-29 17:10:50,443 - Finish: rpmbuild lean3-3.4.2-2.fc32.src.rpm