2022-12-24 01:19:45,970 - Mock Version: 3.5
2022-12-24 01:19:46,615 - Start: dnf update
2022-12-24 01:19:48,681 - Finish: dnf update
2022-12-24 01:19:48,693 - Finish: chroot init
2022-12-24 01:19:48,696 - Start: build phase for cvc4-1.8-14.fc38.src.rpm
2022-12-24 01:19:48,699 - Start: build setup for cvc4-1.8-14.fc38.src.rpm
2022-12-24 01:20:04,307 - Finish: build setup for cvc4-1.8-14.fc38.src.rpm
2022-12-24 01:20:04,308 - Start: rpmbuild cvc4-1.8-14.fc38.src.rpm
2022-12-24 01:58:30,290 - Finish: rpmbuild cvc4-1.8-14.fc38.src.rpm
2022-12-24 01:58:30,371 - Finish: build phase for cvc4-1.8-14.fc38.src.rpm