Stream: math-comp devs

Topic: v1.14.0


view this post on Zulip 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

view this post on Zulip Enrico Tassi (Jan 19 2022 at 12:10):

done, the tag is there. We now move on to packaging (opam and docker)

view this post on Zulip Enrico Tassi (Jan 19 2022 at 13:07):

OPAM packages, nix packages and Docker images are in the pipes.


Last updated: Aug 11 2022 at 03:02 UTC