2023-01-20 23:46:01,706 - Mock Version: 3.5
2023-01-20 23:46:02,641 - Start: dnf update
2023-01-20 23:46:06,162 - Finish: dnf update
2023-01-20 23:46:06,177 - Finish: chroot init
2023-01-20 23:46:06,182 - Start: build phase for cvc4-1.8-15.fc38.src.rpm
2023-01-20 23:46:06,184 - Start: build setup for cvc4-1.8-15.fc38.src.rpm
2023-01-20 23:46:30,511 - Finish: build setup for cvc4-1.8-15.fc38.src.rpm
2023-01-20 23:46:30,512 - Start: rpmbuild cvc4-1.8-15.fc38.src.rpm
2023-01-21 00:18:07,798 - Finish: rpmbuild cvc4-1.8-15.fc38.src.rpm
2023-01-21 00:18:07,925 - Finish: build phase for cvc4-1.8-15.fc38.src.rpm