$ git clone -n https://src.fedoraproject.org/rpms/cvc4.git /var/lib/mock/f33-build-335589-58401/root/chroot_tmpdir/scmroot/cvc4
Cloning into '/var/lib/mock/f33-build-335589-58401/root/chroot_tmpdir/scmroot/cvc4'...
$ git reset --hard 8ca4eb34024c5f29066d99b068a1edb68c1094a9
HEAD is now at 8ca4eb3 Run the testsuite on 64-bit architectures only.