Stream: math-comp analysis

Topic: release 0.6.6


view this post on Zulip Reynald Affeldt (Nov 07 2023 at 05:48):

We are planning a release of MathComp-Analysis 0.6.6 compatible with MathComp 1.18.0 this week.

view this post on Zulip Reynald Affeldt (Nov 07 2023 at 09:18):

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

view this post on Zulip Reynald Affeldt (Nov 14 2023 at 02:04):

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

view this post on Zulip Reynald Affeldt (Nov 14 2023 at 05:44):

We have released the 0.6.6 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 14 2023 at 09:33):

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

view this post on Zulip Michael Soegtrop (Nov 14 2023 at 10:16):

@Reynald Affeldt : I wonder what I shall do in Coq Platform. mathcomp-analysis and mathcomp-classical still require mathcomp 1.18.0. Are there plans to allow mathcomp 2.0 say within 2 weeks? If not I will include two picks for Coq 8.18 in the next release, one with mathcomp 2.0 without mathcomp-analysis and one with mathcomp 1.18 with mathcomp-analysis.

Advice, user feedback, ... welcome.

view this post on Zulip Pierre Roux (Nov 14 2023 at 10:23):

Michael Soegtrop said:

Are there plans to allow mathcomp 2.0 say within 2 weeks?

I would rather expect this to be a matter of two months than two weeks.

view this post on Zulip Michael Soegtrop (Nov 14 2023 at 10:33):

OK, thanks. As discussed I will then include two picks for Coq 8.18.


Last updated: Jun 22 2024 at 16:02 UTC