Tracker issue for 8.19 package tag creation

[rtetley]

This issue exists to track the issues on the package upstream repos to create tags for Coq 8.19.

This ticket is referenced in all package issues.

Discussions should take place in the individual upstream issues.

ToDo:

Issue links to non github projects

• https://gitlab.mpi-sws.org/iris/stdpp/-/issues/206
• https://gitlab.inria.fr/coquelicot/coquelicot/-/issues/10
• https://gitlab.inria.fr/flocq/flocq/-/issues/24
• https://gitlab.inria.fr/coqinterval/interval/-/issues/16
• coq-gappa
• gappa
• https://gitlab.inria.fr/fpottier/menhir/-/issues/74
• https://gitlab.inria.fr/fbesson/itauto/-/issues/34
• coq-iris
• coq-iris-heap-lang

Updates to be done

Local opam packages to be removed

Local opam packages to be merged upstream

Issues to be fixed

Checklist

• Update release in documentation
• Add new picks to documentation
• Update auto generated documentation
• Ensure that release builds for MacOS, Snap and Windows include large packages
• Ensure Mac installers work for older MacOS (by inspecting otool dump)