$ git clone -n https://src.fedoraproject.org/rpms/ocaml-menhir.git /var/lib/mock/f33-build-279895-51694/root/chroot_tmpdir/scmroot/ocaml-menhir
Cloning into '/var/lib/mock/f33-build-279895-51694/root/chroot_tmpdir/scmroot/ocaml-menhir'...
$ git reset --hard 43d17c1540cead52aeb9a3e8149e3d3a14b22c36
HEAD is now at 43d17c1 Rebuild for coq 8.11.1.