Stream: math-comp devs

Topic: Releasing 2.1


view this post on Zulip Pierre Roux (Oct 24 2023 at 08:17):

We are currently releasing 2.1, please don't merge anything on master until further notice.

view this post on Zulip Pierre Roux (Oct 24 2023 at 11:31):

MC 2.1.0 is now out, merging on master is now possible. Preparing OPAM and Nix packages.

view this post on Zulip Reynald Affeldt (Oct 25 2023 at 13:33):

opam packages and docker are ready.


Last updated: Jul 23 2024 at 20:01 UTC