Stream: math-comp analysis

Topic: release 0.3.2


view this post on Zulip Cyril Cohen (Aug 07 2020 at 23:56):

I think we are ready to release 0.3.2

view this post on Zulip Cyril Cohen (Aug 07 2020 at 23:56):

@affeldt-aist

view this post on Zulip Reynald Affeldt (Aug 08 2020 at 00:01):

I agree.

view this post on Zulip Reynald Affeldt (Aug 08 2020 at 00:02):

But shouldn't finmap and real-closed be released first?

view this post on Zulip Reynald Affeldt (Aug 08 2020 at 00:03):

For finmap, this just amounts to update the files travis.yml and opam (https://github.com/math-comp/finmap/pull/71).

view this post on Zulip Reynald Affeldt (Aug 08 2020 at 00:08):

(I can take care of real-closed and analysis.)

view this post on Zulip Cyril Cohen (Aug 10 2020 at 12:39):

I already had anticipated compatibility of finmap 1.5.0 in opam-coq-archive

view this post on Zulip Cyril Cohen (Aug 10 2020 at 12:39):

https://github.com/coq/opam-coq-archive/blob/master/released/packages/coq-mathcomp-finmap/coq-mathcomp-finmap.1.5.0/opam

view this post on Zulip Reynald Affeldt (Aug 10 2020 at 12:41):

Ok, I was looking at the master.

view this post on Zulip Reynald Affeldt (Aug 10 2020 at 12:42):

I will proceed with the release by tomorrow.

view this post on Zulip Cyril Cohen (Aug 10 2020 at 12:48):

affeldt-aist said:

(I can take care of real-closed and analysis.)

Apparently I also anticipated the compatibility of real-closed https://github.com/coq/opam-coq-archive/blob/master/released/packages/coq-mathcomp-real-closed/coq-mathcomp-real-closed.1.1.1/opam

view this post on Zulip Reynald Affeldt (Aug 11 2020 at 00:59):

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

view this post on Zulip Cyril Cohen (Aug 11 2020 at 01:24):

affeldt-aist said:

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

Wait, that does not look right:

view this post on Zulip Cyril Cohen (Aug 11 2020 at 01:26):

https://github.com/math-comp/analysis/pull/247

view this post on Zulip Reynald Affeldt (Aug 11 2020 at 03:24):

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

view this post on Zulip Reynald Affeldt (Aug 11 2020 at 08:03):

The 0.3.2 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