Stream: math-comp analysis

Topic: release 0.5.1

view this post on Zulip Reynald Affeldt (Apr 21 2022 at 22:27):

We are planning to soon release the version 0.5.1 of mathcomp-analysis with the current master and possibly a few more PRs in progress.

view this post on Zulip Reynald Affeldt (Jun 03 2022 at 16:40):

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

view this post on Zulip Reynald Affeldt (Jun 04 2022 at 01:08):

We have released the 0.5.1 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 (Jun 06 2022 at 08:10):

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

Last updated: Dec 07 2023 at 09:01 UTC