You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
After some thinking, I have decided to implement the coq-lsp versioning model for Coq SerAPI. This has a lot of advantages, in particular w.r.t. change tracking.
That means that we will have a single SerAPI version, supporting several Coq versions.
Problem is that we need to move from a scheme where version numbers are 8.19.0+0.19.1 to a scheme where the SerAPI version is first. We could bump the epoch, but as SerAPI is being put in maintenance mode, I think for 8.20 I will provide a coq-serlib package that can be versioned like that, and maybe keep coq-serapi version working as now.
The text was updated successfully, but these errors were encountered:
After some thinking, I have decided to implement the
coq-lsp
versioning model for Coq SerAPI. This has a lot of advantages, in particular w.r.t. change tracking.That means that we will have a single SerAPI version, supporting several Coq versions.
Problem is that we need to move from a scheme where version numbers are
8.19.0+0.19.1
to a scheme where the SerAPI version is first. We could bump the epoch, but as SerAPI is being put in maintenance mode, I think for 8.20 I will provide acoq-serlib
package that can be versioned like that, and maybe keepcoq-serapi
version working as now.The text was updated successfully, but these errors were encountered: