Stream: math-comp analysis

Topic: release 0.6.4


view this post on Zulip Reynald Affeldt (Aug 05 2023 at 12:05):

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

view this post on Zulip Reynald Affeldt (Aug 05 2023 at 14:13):

We have released the 0.6.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 (Aug 05 2023 at 18:52):

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

view this post on Zulip Karl Palmskog (Aug 05 2023 at 20:17):

I can confirm that 0.6.4 works fine on 8.18+rc1 (and RM thus guarantees compatibility with 8.18.0). Maybe the bounds could be relaxed to allow 8.18?

view this post on Zulip Reynald Affeldt (Aug 06 2023 at 10:21):

Oh, that’s great news. I double-check asap (just getting out of the plane back from itp). I don’t mind if you want to update opam before I have a chance to do so though :-)


Last updated: Jun 25 2024 at 18:02 UTC