Reynald Affeldt (Feb 01 2023 at 14:12): 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
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
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)
Enrico Tassi (Feb 01 2023 at 22:18):Great, thanks to all involved in the process!
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?
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).
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: May 28 2023 at 18:29 UTC