$ git clone -n https://src.fedoraproject.org/rpms/why3.git /var/lib/mock/f33-build-235238-50530/root/chroot_tmpdir/scmroot/why3
Cloning into '/var/lib/mock/f33-build-235238-50530/root/chroot_tmpdir/scmroot/why3'...
$ git reset --hard c8fd5541d548c4db20b2bd7279b4ded12df831d0
HEAD is now at c8fd554 Rebuild for coq 8.11.1.