Stream: math-comp analysis

Topic: release 0.5.4


view this post on Zulip Reynald Affeldt (Sep 01 2022 at 07:33):

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

view this post on Zulip Reynald Affeldt (Sep 05 2022 at 00:56):

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

view this post on Zulip Reynald Affeldt (Sep 07 2022 at 03:18):

We have released the 0.5.4 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 (Sep 07 2022 at 23:47):

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


Last updated: Jan 30 2023 at 10:03 UTC