Stream: math-comp devs

Topic: v1.16.0 release


view this post on Zulip Reynald Affeldt (Feb 01 2023 at 14:12):

Dear all,

We are now starting the release process for mathcomp v1.16.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 Cyril

view this post on Zulip Reynald Affeldt (Feb 01 2023 at 16:12):

Dear all,

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

Best wishes,
--
Reynald and Cyril

view this post on Zulip Karl Palmskog (Feb 01 2023 at 20:22):

coq-mathcomp-ssreflect.1.16.0 and the others are now out on the Coq opam archive (opam update)

view this post on Zulip Enrico Tassi (Feb 01 2023 at 22:18):

Great, thanks to all involved in the process!

view this post on Zulip Karl Palmskog (Feb 04 2023 at 11:41):

coq-mathcomp-finmap.1.5.2 is compatible with 1.16.0. Should we update its opam bounds, or is a new finmap release forthcoming?

view this post on Zulip Pierre Roux (Feb 04 2023 at 11:56):

The bound should indeed be bumped. This can also be done for coq-mathcomp-bigenough.1.0.1. Unfortunately a few other mathcomp packages will require a release (mczify and multinomials for instance).

view this post on Zulip Reynald Affeldt (Feb 06 2023 at 11:46):

Does anybody have the power to force the sync of https://gitlab.com/math-comp/docker-mathcomp with its github mirror?


Last updated: Jul 24 2024 at 12:02 UTC