Please pick the version you prefer for Coq 8.14 in Coq Platform 2021.11 about corn

[spitters]

I'm guessing we want to transition to 8.14.0 when it's released.
Is there anything that needs to be done now?

[Zimmi48]

I don't think so. The latest release is already compatible with 8.14, as Michael mentioned.

[MSoegtropIMC]

This issue is to inform you ahead of time and to track things. If it is closed, it means I go with coq-corn.8.13.0 - which I probably won't do anyway if there will be a coq-corn.8.14.0, but as written above, if you want to be safe you should keep this issue open until I did the PR which moves Coq Platform to coq-corn.8.14.0.

[Zimmi48]

What I meant was: there will be no 8.14.0 release, or at least not for a while, since the 8.13.0 release was done very recently and is compatible with Coq 8.14 already.

[MSoegtropIMC]

OK, so if the only change is relaxing the version restrictions in the opam package - however one wants to name it then - it is correct to close this issue. If you decide otherwise before November, please reopen.