Stream: math-comp analysis

Topic: release 0.6.7


view this post on Zulip Reynald Affeldt (Dec 26 2023 at 09:23):

We are planning a release of MathComp-Analysis 0.6.7 this week.

view this post on Zulip Reynald Affeldt (Dec 26 2023 at 09:24):

The milestone is here https://github.com/math-comp/analysis/milestone/30

view this post on Zulip Reynald Affeldt (Jan 08 2024 at 15:39):

(milestone is now 73%, release should happen tomorrow)

view this post on Zulip Reynald Affeldt (Jan 09 2024 at 01:30):

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

view this post on Zulip Reynald Affeldt (Jan 09 2024 at 04:18):

We have released the 0.6.7 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 (Jan 09 2024 at 10:48):

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


Last updated: Jun 22 2024 at 16:02 UTC