Inclusion to Coq Platform

[MSoegtropIMC]

Dear dpdgraph Team,

@palmskog requested here: (rocq-prover/platform#12) 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. 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. For developments in the "full" level, users should be able to rely on that the package is maintained, so that they can base their own development on it without a large risk that they have to factor it out again later cause of maintenance issues.

Can you please comment in the Coq Platform issue mentioned above if you do want your package included in the Coq Platform in agreement to the Coq Platform charter, and if so which level you would prefer?

Best regards,

Michael

[MSoegtropIMC]

P.S.: I just saw that dpdgraph has a 0.X version number in Opam, which suggests it will go into the "extended" level.

[Karmaki]

It has been moved (see rocq-community/manifesto#131), but probably some more things to configure to match the coq-community platform requirements. So, I leave this open for now.