We are preparing the 0.4 version of mathcomp-analysis, please do not merge into master until further notice.
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
The 0.4.0 version of mathcomp-analysis is available as an opam package in https://coq.inria.fr/opam/released. (Thanks @Karl Palmskog .)
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
@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.
But this is an issue about 2022.02. Do you mean "reopen and rename"?
I think 2022.02 has been "globally" renamed to 2022.03. I guess we can update issues to reflect this, but not really necessary...
Debian has mathcomp-analysis 0.4 since a few days too: see here
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
Uh.... tags should never be modified... if there's a problem, a new version should be tagged.
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: Sep 26 2023 at 12:02 UTC