2022-12-23 16:15:47,217 - Mock Version: 3.5
2022-12-23 16:15:49,648 - Start: dnf update
2022-12-23 16:16:02,578 - Finish: dnf update
2022-12-23 16:16:02,598 - Finish: chroot init
2022-12-23 16:16:02,604 - Start: build phase for cvc4-1.8-14.fc38.src.rpm
2022-12-23 16:16:02,608 - Start: build setup for cvc4-1.8-14.fc38.src.rpm
2022-12-23 16:16:54,524 - Finish: build setup for cvc4-1.8-14.fc38.src.rpm
2022-12-23 16:16:54,527 - Start: rpmbuild cvc4-1.8-14.fc38.src.rpm
2022-12-23 16:39:48,819 - Finish: rpmbuild cvc4-1.8-14.fc38.src.rpm
2022-12-23 16:39:48,899 - Finish: build phase for cvc4-1.8-14.fc38.src.rpm