Tracker issue for 9.0 package tag creation #481
Description
This issue exists to track the issues on the package upstream repos to create tags for Rocq 9.0.
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.inria.fr/coquelicot/coquelicot/-/issues/12
- https://gitlab.inria.fr/flocq/flocq/-/issues/27
- https://gitlab.inria.fr/coqinterval/interval/-/issues/19
- https://gitlab.inria.fr/gappa/coq/-/issues/17
- https://gitlab.inria.fr/gappa/gappa/-/issues/18
- https://gitlab.inria.fr/fbesson/itauto/-/issues/37
- https://gitlab.mpi-sws.org/iris/stdpp/-/issues/240
- https://gitlab.mpi-sws.org/iris/iris/-/issues/589
Updates to be done
Local opam packages to be removed
- coq-mathcomp-algebra-tactics/coq-mathcomp-algebra-tactics.1.2.7
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)