$ git clone -n https://src.fedoraproject.org/rpms/z3.git /var/lib/mock/f32-ocaml-119717-36674/root/chroot_tmpdir/scmroot/z3
Cloning into '/var/lib/mock/f32-ocaml-119717-36674/root/chroot_tmpdir/scmroot/z3'...
$ git reset --hard 0543e7c3d8977f846c7b8d6d5b89f38a9ab618c1
HEAD is now at 0543e7c OCaml 4.09.0 for riscv64