Tracker issue for 8.18 pick creation

[MSoegtropIMC]

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

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/198
• https://gitlab.inria.fr/coquelicot/coquelicot/-/issues/9
• https://gitlab.inria.fr/flocq/flocq/-/issues/23
• https://gitlab.inria.fr/coqinterval/interval/-/issues/14
• https://gitlab.inria.fr/gappa/coq/-/issues/13
• https://gitlab.inria.fr/fpottier/menhir/-/issues/73
• https://gitlab.inria.fr/fbesson/itauto/-/issues/32
• https://gitlab.mpi-sws.org/iris/iris/-/issues/544
• https://gitlab.inria.fr/gappa/gappa/-/issues/13

Updates to be done

• Update mathcomp-word to 3.0 - see mathcomp-word: add version 3.0 opam#2844 (comment)
• Update libhyps - see Please pick the version you prefer for Coq 8.18 in Coq Platform 2023.10 Matafou/LibHyps#13

Local opam packages to be removed

• coq-unicoq.1.6+8.18
• coq-math-classes.8.18.0
• coq-unimath.20231010
• coq-compcert.3.13.1
• coq-corn.8.18.0
• coq-mtac2.1.4+8.18
• coq-ott.0.33 see ott: fix for building on Windows (without symlink) ocaml/opam-repository#24942

Local opam packages to be merged upstream

• coq-deriving.0.1.1
• coq-extructures.0.3.1
• coq-simple-io.1.8.0

Issues to be fixed

• Provide some sort of smoke test for serapi (it failed to install in a few cases)
• Somehow restrict the number of picks shown - either by a fixed number or by sort index 0 (this is still OK in current release => delayed)
• Smoke Test coq-libhyps
• Smoke Test coq-extructures
• Think about providine a dependency graph as part of the doc
• Coq Ott is disabled on WIndows
• Coq patch see https://coq.zulipchat.com/#narrow/stream/237977-Coq-users/topic/Anomaly.3A.20bad.20vernac.20extend/near/403585445 : decided to not include a patch, since this did not work for a longer time (not in 8.17 at least).

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)