Reynald Affeldt (Jul 29 2022 at 00:23): Reynald Affeldt (Jul 29 2022 at 00:23):We are planning a release of 0.5.3 in the near future. Here is the milestone: https://github.com/math-comp/analysis/milestone/21.
Michael Soegtrop (Aug 09 2022 at 10:29):FTR: in the Coq Platform preview I am currently using the latest commit of today, which compiles fine. I plan to do the release within a few days.
Reynald Affeldt (Aug 09 2022 at 23:44):We are preparing the 0.5.3 version of mathcomp-analysis, please do not merge into master until further notice.
Reynald Affeldt (Aug 10 2022 at 09:05):We have released the 0.5.3 version of mathcomp-analysis, it is now ok to merge into master. Changelog: https://github.com/math-comp/analysis/blob/master/CHANGELOG.md
Reynald Affeldt (Aug 11 2022 at 11:11):The 0.5.3 version of mathcomp-analysis is available as an opam package in https://coq.inria.fr/opam/released
Last updated: Apr 18 2024 at 18:01 UTC