Stream: math-comp devs

Topic: Releasing 1.18


view this post on Zulip Pierre Roux (Nov 01 2023 at 08:15):

We are currently releasing 1.18, please don't merge anything in the mathcomp-1 branch until further notice.

view this post on Zulip Pierre Roux (Nov 01 2023 at 08:53):

done, we can merge again in mathcomp-1

view this post on Zulip Karl Palmskog (Nov 02 2023 at 07:32):

there are a bunch of projects that need the ssreflect bounds bumped to allow 1.18. I did some of them here, but more would be welcome: https://github.com/coq/opam/pull/2811


Last updated: Jul 23 2024 at 20:01 UTC