Official release tarball is different from corresponding git tag (contains additional files)
The official release tarballs for Flocq are sometimes different from the corresponding tag in git. E.g. the release tarball
https://gforge.inria.fr/frs/download.php/file/38103/flocq-3.2.0.tar.gz
which is advertised in opam contains an additional configure.sh file. I think either this file should be added to git or the opam build instructions should contain the autoconfigure step. It is mildly confusing that the build fails when switching an opam file from the release tarball to the corresponding gitlab tag.