@Cyril Cohen : mathcomp-analysis is the last package which does not have a release compiling with 8.15 (stdpp, iris and coq-hammer came in yesterday). This is not an issue at all and you are well in time, just every one else was super fast and if you could make it, the release tomorrow would already be a beta release and not a preview release (a beta release should have all packages compiling - a preview release just contains whatever is ready). But I don't want to hurry you - quality is more important. This is just for your information. It might be an option though to create a preview opam package pointing to the current latest commit - Coq Platform has its own opam patch repo which does allow to do such temporary hacks.
mathcomp-analysis master is compatible with 8.15, so next release 0.3.13 should be fine
@Pierre Roux : I know. The point is that I do a Coq Platform pre release tomorrow and either the mathcomp-analysis release is then there and mathcomp-analysis is in or it is not there and mathcomp-analysis is not in or we agree on a temporary opam package pointing to the commit of current master (as explained I can do temporary opam packages in Coq Platform).
We should ask @Reynald Affeldt
I have no objection for a release of 0.3.13 by tomorrow, @Reynald Affeldt WDYT?
ok, let's do that
Perfect, thanks!
Thanks for the release!
Would you mind leaving a note in (https://github.com/math-comp/analysis/issues/519) that this is the version you want to see in Coq Platform for Coq 8.15, so that the picking decision is properly documented?
Last updated: Oct 13 2024 at 01:02 UTC