$ git clone -n https://src.fedoraproject.org/rpms/cvc4.git /var/lib/mock/f33-build-400911-62562/root/chroot_tmpdir/scmroot/cvc4
Cloning into '/var/lib/mock/f33-build-400911-62562/root/chroot_tmpdir/scmroot/cvc4'...
$ git reset --hard 5629237c8f97c94d2978456d3f10597c3f6eb188
HEAD is now at 5629237 Rebuild for cryptominisat 5.8.0.