2022-12-28 12:15:17,786 - Mock Version: 3.5
2022-12-28 12:15:19,436 - Start: dnf update
2022-12-28 12:15:28,514 - Finish: dnf update
2022-12-28 12:15:28,529 - Finish: chroot init
2022-12-28 12:15:28,534 - Start: build phase for cvc4-1.8-14.fc38.src.rpm
2022-12-28 12:15:28,537 - Start: build setup for cvc4-1.8-14.fc38.src.rpm
2022-12-28 12:15:58,586 - Finish: build setup for cvc4-1.8-14.fc38.src.rpm
2022-12-28 12:15:58,588 - Start: rpmbuild cvc4-1.8-14.fc38.src.rpm
2022-12-28 12:51:16,263 - Finish: rpmbuild cvc4-1.8-14.fc38.src.rpm
2022-12-28 12:51:16,434 - Finish: build phase for cvc4-1.8-14.fc38.src.rpm