Stream: math-comp analysis

Topic: release 0.3.3


view this post on Zulip Reynald Affeldt (Nov 11 2020 at 13:55):

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

view this post on Zulip Reynald Affeldt (Nov 11 2020 at 15:57):

We have released the 0.3.3 version of mathcomp-analysis, it is now ok to merge into master.

view this post on Zulip Reynald Affeldt (Nov 12 2020 at 00:16):

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


Last updated: Mar 28 2024 at 12:01 UTC