2020-05-29 23:22:09,317 - Mock Version: 2.2
2020-05-29 23:22:10,952 - Start: dnf update
2020-05-29 23:22:13,767 - Finish: dnf update
2020-05-29 23:22:13,781 - Finish: chroot init
2020-05-29 23:22:13,784 - Start: build phase for cvc4-1.7-12.fc32.src.rpm
2020-05-29 23:22:13,786 - Start: build setup for cvc4-1.7-12.fc32.src.rpm
2020-05-29 23:22:43,693 - Finish: build setup for cvc4-1.7-12.fc32.src.rpm
2020-05-29 23:22:43,695 - Start: rpmbuild cvc4-1.7-12.fc32.src.rpm
2020-05-30 00:16:21,459 - Finish: rpmbuild cvc4-1.7-12.fc32.src.rpm
2020-05-30 00:16:21,626 - Finish: build phase for cvc4-1.7-12.fc32.src.rpm