Stream: math-comp analysis

Topic: release 0.5.2


view this post on Zulip Cyril Cohen (Jul 08 2022 at 09:18):

I think I will merge as many PR as possible and do the release by the end of today... (I need a release compatible with mc 1.15.0)
CC @Reynald Affeldt

view this post on Zulip Reynald Affeldt (Jul 08 2022 at 09:28):

Please go ahead, I have no net access during the next 13 hours :-(.

view this post on Zulip Reynald Affeldt (Jul 08 2022 at 09:29):

also we can maybe drop Coq 8.13 on this occasion

view this post on Zulip Cyril Cohen (Jul 08 2022 at 09:30):

Reynald Affeldt said:

also we can maybe drop Coq 8.13 on this occasion

Will be done

view this post on Zulip Cyril Cohen (Jul 08 2022 at 21:18):

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

view this post on Zulip Cyril Cohen (Jul 08 2022 at 21:53):

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


Last updated: Feb 05 2023 at 13:02 UTC