Stream: math-comp analysis

Topic: release 0.3.7


view this post on Zulip Reynald Affeldt (Apr 01 2021 at 10:56):

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

view this post on Zulip Reynald Affeldt (Apr 01 2021 at 14:51):

We have released the 0.3.7 version of mathcomp-analysis, it is now ok to merge into master.


Last updated: Aug 11 2022 at 01:03 UTC