2023-01-20 23:40:03,266 - Mock Version: 3.5
2023-01-20 23:40:03,905 - Start: dnf update
2023-01-20 23:40:05,695 - Finish: dnf update
2023-01-20 23:40:05,707 - Finish: chroot init
2023-01-20 23:40:05,710 - Start: build phase for cvc4-1.8-15.fc38.src.rpm
2023-01-20 23:40:05,713 - Start: build setup for cvc4-1.8-15.fc38.src.rpm
2023-01-20 23:40:22,420 - Finish: build setup for cvc4-1.8-15.fc38.src.rpm
2023-01-20 23:40:22,421 - Start: rpmbuild cvc4-1.8-15.fc38.src.rpm
2023-01-21 00:18:41,699 - Finish: rpmbuild cvc4-1.8-15.fc38.src.rpm
2023-01-21 00:18:41,780 - Finish: build phase for cvc4-1.8-15.fc38.src.rpm