2022-07-07 07:58:36,668 - Mock Version: 3.0
2022-07-07 07:58:37,068 - Start: dnf update
2022-07-07 07:58:38,842 - Finish: dnf update
2022-07-07 07:58:38,848 - Finish: chroot init
2022-07-07 07:58:38,850 - Start: build phase for cvc4-1.8-11.fc37.src.rpm
2022-07-07 07:58:38,851 - Start: build setup for cvc4-1.8-11.fc37.src.rpm
2022-07-07 07:58:56,563 - Finish: build setup for cvc4-1.8-11.fc37.src.rpm
2022-07-07 07:58:56,564 - Start: rpmbuild cvc4-1.8-11.fc37.src.rpm
2022-07-07 08:33:20,964 - Finish: rpmbuild cvc4-1.8-11.fc37.src.rpm
2022-07-07 08:33:21,087 - Finish: build phase for cvc4-1.8-11.fc37.src.rpm