2020-07-10 15:59:36,839 - Mock Version: 2.3
2020-07-10 15:59:38,459 - Start: dnf update
2020-07-10 15:59:40,516 - Finish: dnf update
2020-07-10 15:59:40,530 - Finish: chroot init
2020-07-10 15:59:40,533 - Start: build phase for cvc4-1.7-13.fc33.src.rpm
2020-07-10 15:59:40,534 - Start: build setup for cvc4-1.7-13.fc33.src.rpm
2020-07-10 16:00:07,385 - Finish: build setup for cvc4-1.7-13.fc33.src.rpm
2020-07-10 16:00:07,386 - Start: rpmbuild cvc4-1.7-13.fc33.src.rpm
2020-07-10 16:51:53,430 - Finish: rpmbuild cvc4-1.7-13.fc33.src.rpm
2020-07-10 16:51:53,595 - Finish: build phase for cvc4-1.7-13.fc33.src.rpm