I think we are ready to release 0.3.2

@affeldt-aist

I agree.

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

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

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

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

Ok, I was looking at the master.

I will proceed with the release by tomorrow.

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

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

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:

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

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

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

.

Last updated: Jun 22 2024 at 16:02 UTC