Stream: math-comp devs

Topic: v1.17.0 release

Reynald Affeldt (May 09 2023 at 12:20):

Dear all,

We are now starting the release process for mathcomp 1.17.0.
All pull requests targeted to this release have been merged.
This message grabs the lock on the master branch.

Please refrain from adding anything to the master branch until the lock is released.

Best wishes,
--
Reynald and Pierre

Reynald Affeldt (May 09 2023 at 14:26):

Dear all,

The release has been tagged.
We are releasing the lock on math-comp master.

Best wishes,
--
Reynald and Pierre

Karl Palmskog (May 09 2023 at 17:51):

we have a very strange timeout here on Coq 8.15.2: https://gitlab.com/coq/opam-coq-archive/-/jobs/4252119234
@Pierre Roux @Reynald Affeldt can you advise if we merge anyway? Pierre, feel free to merge if you think it's best, but this timeout might be due to some problem.

Reynald Affeldt (May 10 2023 at 02:32):

We are pleased to announce the availability of the opam packages
coq-mathcomp-{ssreflect,algebra,field,characted,fingroup,solvable}
for MathComp 1.17.0.

See https://coq.inria.fr/opam/www/.

Reynald Affeldt (May 10 2023 at 06:37):

We are pleased to announce the availability of Docker images for MathComp 1.17.0.

See the last tags at https://hub.docker.com/r/mathcomp/mathcomp.

Last updated: Oct 13 2024 at 01:02 UTC