Stream: math-comp analysis

Topic: release 0.3.4

view this post on Zulip Reynald Affeldt (Dec 12 2020 at 03:24):

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

view this post on Zulip Reynald Affeldt (Dec 12 2020 at 04:55):

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

Last updated: Feb 09 2023 at 03:06 UTC