Alexander Gryzlov (Jul 07 2021 at 13:06): 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.
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.
Enrico Tassi (Jul 07 2021 at 13:52):https://github.com/coq/coq/wiki/Release-Schedule-for-Coq-8.14 (there is some delay)
Alexander Gryzlov (Jul 07 2021 at 14:23):Oh so I guess something like "within a month"? That's cool if so.
Last updated: Apr 18 2024 at 09:02 UTC