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
There are several releases and tags in the coq-contribs repos for the project. Ideally, these should be replicated in this repository to allow users of old versions of Coq to have a "one stop shop" for all dblib needs.
The text was updated successfully, but these errors were encountered:
In coq-contribs/dblib, v8.6.0, v8.7.0 and v.8.8.0 all point to the same commit, which is the tip of master. I also think v8.5.0 is meant to be pointing to the same commit, though it's not.
Are there any guidelines on how to version Coq libraries? I've seen some projects just do semantic versioning and make sure that the same tree builds on all supported versions of Coq, though some others will do something like vX.Y.Z+coqA.B. Currently, dblib builds fine on docker-coq from 8.5 to dev, so I'm not sure that separate releases for different Coq versions are necessary, but I'm new to Coq packaging, so any input would be helpful.
There's some guideline here: https://github.com/coq-community/manifesto/wiki/Commit,-branch-and-release-policies
As you noted, the recommended practice for libraries (as opposed to plugins) is to have releases that support several versions at once instead of having one release per Coq version as it has been the practice of coq-contribs maintainers (for uniformity and simplicity).
Unfortunately, former coq-contribs have to bear the weight of past releases, which influence from which version number you can start numbering. E.g., if the last release in the opam archive was 8.8.0, it would be good not to create a new version with a lower number.
Therefore, some former contribs, while adhering to the policy of being compatible with multiple versions at once still use a version number of Coq for their own releases (e.g. the version of Coq the release adds support for).
There are several releases and tags in the coq-contribs repos for the project. Ideally, these should be replicated in this repository to allow users of old versions of Coq to have a "one stop shop" for all dblib needs.
The text was updated successfully, but these errors were encountered: