We are preparing the 0.3.7 version of mathcomp-analysis, please do not merge into master until further notice.
We have released the 0.3.7 version of mathcomp-analysis, it is now ok to merge into master.
Last updated: Oct 13 2024 at 01:02 UTC