Stream: math-comp analysis

Topic: release 0.3.11


view this post on Zulip Reynald Affeldt (Oct 09 2021 at 00:48):

we're planning to release 0.3.11 by the end of next week, the milestone can be found here https://github.com/math-comp/analysis/milestone/13

view this post on Zulip Reynald Affeldt (Oct 28 2021 at 09:11):

we're a bit late, actually waiting for the release of mathcomp

view this post on Zulip Reynald Affeldt (Nov 14 2021 at 02:41):

We are preparing the 0.3.11 version of mathcomp-analysis, please do not merge into master until further notice.

view this post on Zulip Michael Soegtrop (Nov 14 2021 at 11:58):

Should this release go into Coq Platform 2021.11 (due Nov 30)? It would help me if you could leave a comment with your plans in (https://github.com/math-comp/analysis/issues/442).

view this post on Zulip Reynald Affeldt (Nov 14 2021 at 12:48):

At least this is the intent.

view this post on Zulip Reynald Affeldt (Nov 19 2021 at 22:11):

We have released the 0.3.11 version of mathcomp-analysis, it is now ok to merge into master. Changelog: https://github.com/math-comp/analysis/blob/master/CHANGELOG.md

view this post on Zulip Reynald Affeldt (Nov 19 2021 at 22:24):

The 0.3.11 version of mathcomp-analysis is available as an opam package in https://coq.inria.fr/opam/released.


Last updated: Aug 19 2022 at 20:03 UTC