Stream: math-comp users

Topic: 1.13 ?


view this post on Zulip Alexander Gryzlov (Jul 07 2021 at 13:06):

Is there a rough timeline for a new release? I'm asking because of some deprecations that force us to either drop 1.11 or add some compatibility layers.

view this post on Zulip Christian Doczkal (Jul 07 2021 at 13:08):

The plan is to release mathcomp-1.13 shortly after (together with) the release of coq-8.14.

view this post on Zulip Enrico Tassi (Jul 07 2021 at 13:52):

https://github.com/coq/coq/wiki/Release-Schedule-for-Coq-8.14 (there is some delay)

view this post on Zulip Alexander Gryzlov (Jul 07 2021 at 14:23):

Oh so I guess something like "within a month"? That's cool if so.


Last updated: Jan 29 2023 at 18:03 UTC