Stream: math-comp devs

Topic: Releasing 1.18

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.

Pierre Roux (Nov 01 2023 at 08:53):

done, we can merge again in mathcomp-1

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: Oct 13 2024 at 01:02 UTC