Stream: math-comp analysis

Topic: release 1.1.0


view this post on Zulip Reynald Affeldt (Mar 14 2024 at 15:44):

We are planning to release MathComp-Analysis 1.1.0 during the next two weeks.

view this post on Zulip Reynald Affeldt (Mar 14 2024 at 15:53):

The relevant milestones:

view this post on Zulip Reynald Affeldt (Mar 29 2024 at 08:34):

NB: the deadline to choose a new version for the Coq platform is Sunday

view this post on Zulip Reynald Affeldt (Mar 31 2024 at 08:43):

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

view this post on Zulip Reynald Affeldt (Mar 31 2024 at 12:59):

We have released the 1.1.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 (Apr 02 2024 at 09:01):

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


Last updated: Jun 25 2024 at 17:02 UTC