We are now starting the release process for mathcomp v1.14.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, Cyril Cohen, Enrico Tassi
done, the tag is there. We now move on to packaging (opam and docker)
OPAM packages, nix packages and Docker images are in the pipes.
Last updated: Sep 28 2023 at 11:01 UTC