$ git clone -n https://src.fedoraproject.org/rpms/frama-c.git /var/lib/mock/f40-build-759671-120601/root/chroot_tmpdir/scmroot/frama-c
Cloning into '/var/lib/mock/f40-build-759671-120601/root/chroot_tmpdir/scmroot/frama-c'...
$ git reset --hard d1456ab2ad969a49ad6a94d5e4399622a75817bc
HEAD is now at d1456ab Rebuild for ocaml-dune 3.12.1 (rhbz#2252981)