We are planning to release MathComp-Analysis 1.1.0 during the next two weeks.
The relevant milestones:
NB: the deadline to choose a new version for the Coq platform is Sunday
We are preparing the 1.1.0 version of mathcomp-analysis, please do not merge into master until further notice.
We have released the 1.1.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 1.1.0 version of mathcomp-analysis is available as an opam package in https://coq.inria.fr/opam/released.
Last updated: Oct 13 2024 at 01:02 UTC