Stream: math-comp analysis

Topic: release 0.7.0


view this post on Zulip Reynald Affeldt (Jan 16 2024 at 00:36):

We are planning a release of MathComp-Analysis 0.7.0 this week
(compatible with MathComp 1.19.0, before the release of MathComp-Analysis 1.0.0).

view this post on Zulip Reynald Affeldt (Jan 16 2024 at 00:37):

The milestone is here: https://github.com/math-comp/analysis/milestone/31

view this post on Zulip Reynald Affeldt (Jan 19 2024 at 04:59):

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

view this post on Zulip Reynald Affeldt (Jan 19 2024 at 07:18):

We have released the 0.7.0 version of mathcomp-analysis. Changelog: https://github.com/math-comp/analysis/blob/master/CHANGELOG.md

view this post on Zulip Reynald Affeldt (Jan 19 2024 at 07:19):

However, please refrain from merging into master: we are entering the process of switching from MathComp 1 to MathComp 2.

view this post on Zulip Reynald Affeldt (Jan 19 2024 at 15:59):

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

view this post on Zulip Reynald Affeldt (Jan 24 2024 at 15:17):

Reynald Affeldt said:

However, please refrain from merging into master: we are entering the process of switching from MathComp 1 to MathComp 2.

master has been updated to MathComp 2, it is now ok to merge into it


Last updated: Jun 25 2024 at 17:02 UTC