@anton-trunov requested here: (https://github.com/coq/platform/issues/114) to include your development into the Coq Platform, which is the standard user facing distribution of Coq.
Coq Platform has a "full" and "extended" level. Since your development currently appears to be in a beta stage (the latest opam package has a 0.X version number), we can only included it in the "extended" level. Besides a non beta release, inclusion in the "full" level requires an explicit statement by the maintainers, that they agree to the charter of the Coq Platform and intend to publish compatible releases for each release of Coq in a reasonable time frame. For the "extended" level the rules are more relaxed, but we would expect that you intend to bring your debelopment to a "release" level, so that in some future it can be included in the "full" level.
Can you please comment in the Coq Platform issue mentioned above if you do want your package included in the Coq Platform "extended" level and what your future intentions are?
Dear Coq-Deriving Team,
@anton-trunov requested here: (https://github.com/coq/platform/issues/114) to include your development into the Coq Platform, which is the standard user facing distribution of Coq.
Coq Platform has a "full" and "extended" level. Since your development currently appears to be in a beta stage (the latest opam package has a 0.X version number), we can only included it in the "extended" level. Besides a non beta release, inclusion in the "full" level requires an explicit statement by the maintainers, that they agree to the charter of the Coq Platform and intend to publish compatible releases for each release of Coq in a reasonable time frame. For the "extended" level the rules are more relaxed, but we would expect that you intend to bring your debelopment to a "release" level, so that in some future it can be included in the "full" level.
Can you please comment in the Coq Platform issue mentioned above if you do want your package included in the Coq Platform "extended" level and what your future intentions are?
Best regards,
Michael