$ git clone -n https://src.fedoraproject.org/rpms/coq.git /var/lib/mock/f32-ocaml-119716-36674/root/chroot_tmpdir/scmroot/coq
Cloning into '/var/lib/mock/f32-ocaml-119716-36674/root/chroot_tmpdir/scmroot/coq'...
$ git reset --hard 41be1c198213787ddc73bf2a51b688623e81a054
HEAD is now at 41be1c1 OCaml 4.09.0 for riscv64