We are preparing the 0.3.0 version of mathcomp-analysis, please do not merge into master until further notice.
We have released the 0.3.0 version of mathcomp-analysis, it is now ok to merge into master.
The 0.3.0 version of mathcomp-analysis is available as an opam package in https://coq.inria.fr/opam/extra-dev.
Last updated: Feb 05 2023 at 07:03 UTC