Cyril Cohen (Aug 07 2020 at 23:56): Cyril Cohen (Aug 07 2020 at 23:56):I think we are ready to release 0.3.2
Cyril Cohen (Aug 07 2020 at 23:56):@affeldt-aist
Reynald Affeldt (Aug 08 2020 at 00:01):I agree.
Reynald Affeldt (Aug 08 2020 at 00:02):But shouldn't finmap and real-closed be released first?
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).
Reynald Affeldt (Aug 08 2020 at 00:08):(I can take care of real-closed and analysis.)
Cyril Cohen (Aug 10 2020 at 12:39):I already had anticipated compatibility of finmap 1.5.0 in opam-coq-archive
Cyril Cohen (Aug 10 2020 at 12:39): Reynald Affeldt (Aug 10 2020 at 12:41):Ok, I was looking at the master.
Reynald Affeldt (Aug 10 2020 at 12:42):I will proceed with the release by tomorrow.
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
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.
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:
Cyril Cohen (Aug 11 2020 at 01:26):https://github.com/math-comp/analysis/pull/247
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.
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: Apr 19 2024 at 23:02 UTC