2022-05-12 13:14:23,584 - Mock Version: 3.0
2022-05-12 13:14:24,036 - Start: dnf update
2022-05-12 13:14:26,168 - Finish: dnf update
2022-05-12 13:14:26,174 - Finish: chroot init
2022-05-12 13:14:26,176 - Start: build phase for cvc4-1.8-10.fc37.src.rpm
2022-05-12 13:14:26,177 - Start: build setup for cvc4-1.8-10.fc37.src.rpm
2022-05-12 13:14:50,812 - Finish: build setup for cvc4-1.8-10.fc37.src.rpm
2022-05-12 13:14:50,813 - Start: rpmbuild cvc4-1.8-10.fc37.src.rpm
2022-05-12 13:47:39,318 - Finish: rpmbuild cvc4-1.8-10.fc37.src.rpm
2022-05-12 13:47:39,530 - Finish: build phase for cvc4-1.8-10.fc37.src.rpm