Stream: math-comp analysis

Topic: release 0.6


view this post on Zulip Reynald Affeldt (Oct 27 2022 at 00:49):

We are planning a release of 0.6 in the near future. Here is the milestone: https://github.com/math-comp/analysis/milestone/20

view this post on Zulip Reynald Affeldt (Dec 13 2022 at 13:44):

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

view this post on Zulip Reynald Affeldt (Dec 15 2022 at 13:11):

We have released the 0.6.0 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 15 2022 at 13:12):

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

view this post on Zulip Julien Puydt (Dec 15 2022 at 13:16):

Debian has this version since yesterday too.


Last updated: Feb 05 2023 at 14:02 UTC