2022-12-28 12:12:41,270 - Mock Version: 3.5
2022-12-28 12:12:43,471 - Start: dnf update
2022-12-28 12:12:49,738 - Finish: dnf update
2022-12-28 12:12:49,757 - Finish: chroot init
2022-12-28 12:12:49,764 - Start: build phase for cvc4-1.8-14.fc38.src.rpm
2022-12-28 12:12:49,767 - Start: build setup for cvc4-1.8-14.fc38.src.rpm
2022-12-28 12:14:06,744 - Finish: build setup for cvc4-1.8-14.fc38.src.rpm
2022-12-28 12:14:06,746 - Start: rpmbuild cvc4-1.8-14.fc38.src.rpm
2022-12-28 12:35:07,166 - Finish: rpmbuild cvc4-1.8-14.fc38.src.rpm
2022-12-28 12:35:07,228 - Finish: build phase for cvc4-1.8-14.fc38.src.rpm