Stream: math-comp analysis

Topic: release 0.3.12


view this post on Zulip Reynald Affeldt (Dec 28 2021 at 02:28):

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

view this post on Zulip Reynald Affeldt (Dec 29 2021 at 09:01):

We have released the 0.3.12 version of mathcomp-analysis, it is now ok to merge into master. Changelog: https://github.com/math-comp/analysis/blob/master/CHANGELOG.md

view this post on Zulip Reynald Affeldt (Dec 29 2021 at 12:52):

The 0.3.12 version of mathcomp-analysis is available as an opam package in https://coq.inria.fr/opam/released.


Last updated: Aug 11 2022 at 02:03 UTC