Stream: math-comp analysis

Topic: release 0.6.3


view this post on Zulip Reynald Affeldt (Jun 20 2023 at 23:19):

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

view this post on Zulip Reynald Affeldt (Jun 21 2023 at 09:47):

We have released the 0.6.3 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 Julien Puydt (Jun 21 2023 at 11:37):

It's building in Debian right now.

view this post on Zulip Reynald Affeldt (Jun 21 2023 at 13:28):

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


Last updated: Jun 25 2024 at 18:02 UTC