Reynald Affeldt (Mar 07 2022 at 15:54): 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.
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
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 .)
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
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.
Reynald Affeldt (Mar 15 2022 at 08:44):But this is an issue about 2022.02. Do you mean "reopen and rename"?
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...
Julien Puydt (Mar 15 2022 at 09:19):Debian has mathcomp-analysis 0.4 since a few days too: see here
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
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.
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: Apr 20 2024 at 10:02 UTC