2023-07-19 16:52:37,014 - Mock Version: 4.1
2023-07-19 16:52:37,709 - Start: dnf update
2023-07-19 16:52:40,131 - Finish: dnf update
2023-07-19 16:52:40,144 - Finish: chroot init
2023-07-19 16:52:40,149 - Start: build phase for cvc4-1.8-19.fc39.src.rpm
2023-07-19 16:52:40,151 - Start: build setup for cvc4-1.8-19.fc39.src.rpm
2023-07-19 16:52:58,307 - Finish: build setup for cvc4-1.8-19.fc39.src.rpm
2023-07-19 16:52:58,308 - Start: rpmbuild cvc4-1.8-19.fc39.src.rpm
2023-07-19 17:23:39,112 - Finish: rpmbuild cvc4-1.8-19.fc39.src.rpm
2023-07-19 17:23:39,209 - Finish: build phase for cvc4-1.8-19.fc39.src.rpm