2022-12-28 13:35:30,141 - Mock Version: 3.5
2022-12-28 13:35:30,804 - Start: dnf update
2022-12-28 13:35:33,462 - Finish: dnf update
2022-12-28 13:35:33,474 - Finish: chroot init
2022-12-28 13:35:33,478 - Start: build phase for cvc4-1.8-14.fc38.src.rpm
2022-12-28 13:35:33,480 - Start: build setup for cvc4-1.8-14.fc38.src.rpm
2022-12-28 13:35:51,455 - Finish: build setup for cvc4-1.8-14.fc38.src.rpm
2022-12-28 13:35:51,456 - Start: rpmbuild cvc4-1.8-14.fc38.src.rpm
2022-12-28 14:14:58,085 - Finish: rpmbuild cvc4-1.8-14.fc38.src.rpm
2022-12-28 14:14:58,167 - Finish: build phase for cvc4-1.8-14.fc38.src.rpm