Stream: math-comp analysis

Topic: release 0.3.8


view this post on Zulip Reynald Affeldt (May 30 2021 at 04:48):

We would like to release 0.3.8 by the end of the month. It is maybe timely to take a quick look at current issues and PRs, in particular those in the milestone. Thank you.

view this post on Zulip Enrico Tassi (May 30 2021 at 06:23):

Do you need a release of HB?

view this post on Zulip Pierre-Yves Strub (May 30 2021 at 06:47):

June?

view this post on Zulip Reynald Affeldt (May 30 2021 at 06:55):

Current HB seems fine, thanks.

view this post on Zulip Reynald Affeldt (May 30 2021 at 06:55):

May :-)

view this post on Zulip Reynald Affeldt (May 30 2021 at 06:56):

(but we’ll certainly have another one for this summer)

view this post on Zulip Pierre-Yves Strub (May 30 2021 at 10:56):

Ok. I'll then push my PR for the summer release :)

view this post on Zulip Reynald Affeldt (May 30 2021 at 13:06):

Moved to milestone 0.3.9! Thanks for clarifying.

view this post on Zulip Reynald Affeldt (Jun 01 2021 at 08:51):

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

view this post on Zulip Reynald Affeldt (Jun 01 2021 at 09:46):

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

view this post on Zulip Reynald Affeldt (Jun 03 2021 at 06:47):

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


Last updated: Aug 19 2022 at 21:02 UTC