Stream: math-comp analysis

Topic: release 0.4


view this post on Zulip Reynald Affeldt (Mar 07 2022 at 15:54):

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

view this post on Zulip Reynald Affeldt (Mar 08 2022 at 11:58):

We have released the 0.4.0 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 (Mar 15 2022 at 08:18):

The 0.4.0 version of mathcomp-analysis is available as an opam package in https://coq.inria.fr/opam/released. (Thanks @Karl Palmskog .)

view this post on Zulip Karl Palmskog (Mar 15 2022 at 08:19):

no problem, I just thought it would be better to have the package available while you decide on if/when there will be a new release supporting HB 1.0/1.1

view this post on Zulip Michael Soegtrop (Mar 15 2022 at 08:19):

@Reynald Affeldt : since the 2022.03 release of Coq Platform is not yet done (but will be soon), please feel free to reopen https://github.com/math-comp/analysis/issues/519.

view this post on Zulip Reynald Affeldt (Mar 15 2022 at 08:44):

But this is an issue about 2022.02. Do you mean "reopen and rename"?

view this post on Zulip Karl Palmskog (Mar 15 2022 at 08:46):

I think 2022.02 has been "globally" renamed to 2022.03. I guess we can update issues to reflect this, but not really necessary...

view this post on Zulip Julien Puydt (Mar 15 2022 at 09:19):

Debian has mathcomp-analysis 0.4 since a few days too: see here

view this post on Zulip Karl Palmskog (Mar 15 2022 at 09:30):

that's what one might call "optimistic packaging". One reason I waited a while to merge is that sometimes, maintainers recreate the tag/tarball after fixing some issue

view this post on Zulip Julien Puydt (Mar 15 2022 at 09:40):

Uh.... tags should never be modified... if there's a problem, a new version should be tagged.

view this post on Zulip Michael Soegtrop (Mar 21 2022 at 14:10):

I reopened issue (https://github.com/math-comp/analysis/issues/519) to discuss if 0.4 should be used for Coq Platform 2022.03 (and Coq 8.15.1).


Last updated: Aug 11 2022 at 02:03 UTC