Stream: math-comp analysis

Topic: release 0.6.5

view this post on Zulip Reynald Affeldt (Sep 21 2023 at 12:42):

We are planning a release of 0.6.5 within the next days. Here is the milestone: https://github.com/math-comp/analysis/milestone/27

view this post on Zulip Reynald Affeldt (Oct 02 2023 at 08:20):

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

view this post on Zulip Reynald Affeldt (Oct 02 2023 at 12:40):

We have released the 0.6.5 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 (Oct 03 2023 at 00:06):

The 0.6.5 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