2022-12-23 19:00:18,960 - Mock Version: 3.5
2022-12-23 19:00:20,737 - Start: dnf update
2022-12-23 19:00:29,772 - Finish: dnf update
2022-12-23 19:00:29,787 - Finish: chroot init
2022-12-23 19:00:29,792 - Start: build phase for cvc4-1.8-14.fc38.src.rpm
2022-12-23 19:00:29,794 - Start: build setup for cvc4-1.8-14.fc38.src.rpm
2022-12-23 19:01:08,517 - Finish: build setup for cvc4-1.8-14.fc38.src.rpm
2022-12-23 19:01:08,519 - Start: rpmbuild cvc4-1.8-14.fc38.src.rpm
2022-12-23 19:37:34,973 - Finish: rpmbuild cvc4-1.8-14.fc38.src.rpm
2022-12-23 19:37:35,126 - Finish: build phase for cvc4-1.8-14.fc38.src.rpm