$ git clone -n https://src.fedoraproject.org/rpms/why3.git /var/lib/mock/f41-build-849028-164669/root/chroot_tmpdir/scmroot/why3
Cloning into '/var/lib/mock/f41-build-849028-164669/root/chroot_tmpdir/scmroot/why3'...
$ git reset --hard acda593bf2d76e32878cd05b0c91c7b15d265de9
HEAD is now at acda593 Rebuild for ocaml-menhir 20240715, ocaml-ppxlib 0.33.0, and ocaml-zip 1.1.2