Stream: math-comp analysis

Topic: Coq Platform 8.15 preview / beta release


view this post on Zulip Michael Soegtrop (Jan 24 2022 at 11:21):

@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.

view this post on Zulip Pierre Roux (Jan 24 2022 at 11:50):

mathcomp-analysis master is compatible with 8.15, so next release 0.3.13 should be fine

view this post on Zulip Michael Soegtrop (Jan 24 2022 at 13:11):

@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).

view this post on Zulip Pierre Roux (Jan 24 2022 at 13:31):

We should ask @Reynald Affeldt

view this post on Zulip Cyril Cohen (Jan 24 2022 at 13:38):

I have no objection for a release of 0.3.13 by tomorrow, @Reynald Affeldt WDYT?

view this post on Zulip Reynald Affeldt (Jan 24 2022 at 13:53):

ok, let's do that

view this post on Zulip Michael Soegtrop (Jan 24 2022 at 14:21):

Perfect, thanks!

view this post on Zulip Michael Soegtrop (Jan 24 2022 at 16:38):

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