Enrico Tassi (Jan 19 2022 at 09:00): Enrico Tassi (Jan 19 2022 at 09:00):Dear all
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
Enrico Tassi (Jan 19 2022 at 12:10):done, the tag is there. We now move on to packaging (opam and docker)
Enrico Tassi (Jan 19 2022 at 13:07):OPAM packages, nix packages and Docker images are in the pipes.
Last updated: Sep 28 2023 at 11:01 UTC