2022-11-14 13:12:19,829 - Mock Version: 3.3
2022-11-14 13:12:20,407 - Start: dnf update
2022-11-14 13:12:23,185 - Finish: dnf update
2022-11-14 13:12:23,193 - Finish: chroot init
2022-11-14 13:12:23,195 - Start: build phase for cvc4-1.8-13.fc38.src.rpm
2022-11-14 13:12:23,197 - Start: build setup for cvc4-1.8-13.fc38.src.rpm
2022-11-14 13:12:53,181 - Finish: build setup for cvc4-1.8-13.fc38.src.rpm
2022-11-14 13:12:53,182 - Start: rpmbuild cvc4-1.8-13.fc38.src.rpm
2022-11-14 14:21:49,017 - Finish: rpmbuild cvc4-1.8-13.fc38.src.rpm
2022-11-14 14:21:49,138 - Finish: build phase for cvc4-1.8-13.fc38.src.rpm