Stream: math-comp analysis

Topic: release 0.3.9

view this post on Zulip Reynald Affeldt (Jun 11 2021 at 14:42):

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

view this post on Zulip Reynald Affeldt (Jun 11 2021 at 15:49):

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

view this post on Zulip Bas Spitters (Jun 11 2021 at 21:38):

To help others looking for the same information:
https://github.com/math-comp/analysis/blob/master/CHANGELOG.md

view this post on Zulip Reynald Affeldt (Jun 14 2021 at 03:03):

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

Last updated: Oct 13 2024 at 01:02 UTC