2020-06-04 09:21:44,601 - Mock Version: 2.3
2020-06-04 09:21:46,190 - Start: dnf update
2020-06-04 09:21:48,052 - Finish: dnf update
2020-06-04 09:21:48,066 - Finish: chroot init
2020-06-04 09:21:48,069 - Start: build phase for lean3-community-3.15.0c-2.el8.src.rpm
2020-06-04 09:21:48,070 - Start: build setup for lean3-community-3.15.0c-2.el8.src.rpm
2020-06-04 09:21:53,659 - Finish: build setup for lean3-community-3.15.0c-2.el8.src.rpm
2020-06-04 09:21:53,660 - Start: rpmbuild lean3-community-3.15.0c-2.el8.src.rpm
2020-06-04 09:52:46,191 - Finish: rpmbuild lean3-community-3.15.0c-2.el8.src.rpm
2020-06-04 09:52:46,254 - Finish: build phase for lean3-community-3.15.0c-2.el8.src.rpm