We are planning a release of 0.6.1 within the next days. Here is the milestone: https://github.com/math-comp/analysis/milestone/24

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

We have released the 0.6.2 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.6.2 version of MathComp-Analysis is available as an opam package in https://coq.inria.fr/opam/released

Last updated: Jun 25 2024 at 19:01 UTC