2023-03-01 09:51:03,086 - Mock Version: 3.5
2023-03-01 09:51:03,893 - Start: dnf update
2023-03-01 09:51:08,141 - Finish: dnf update
2023-03-01 09:51:08,157 - Finish: chroot init
2023-03-01 09:51:08,161 - Start: build phase for cvc4-1.8-15.fc39.src.rpm
2023-03-01 09:51:08,164 - Start: build setup for cvc4-1.8-15.fc39.src.rpm
2023-03-01 09:51:28,666 - Finish: build setup for cvc4-1.8-15.fc39.src.rpm
2023-03-01 09:51:28,667 - Start: rpmbuild cvc4-1.8-15.fc39.src.rpm
2023-03-01 10:24:57,896 - Finish: rpmbuild cvc4-1.8-15.fc39.src.rpm
2023-03-01 10:24:58,025 - Finish: build phase for cvc4-1.8-15.fc39.src.rpm