Renaming?

[SkySkimmer]

Are there plans to rename (or plans to not rename) coq-dpdgraph to rocq-dpdgraph?

[ybertot]

It should be done, but with my current workload I won't be able to act on it.

[ybertot]

The package is now ready for renaming, it does not depend on the coq compatibility package anymore, including for tests.
@SkySkimmer : do you know to proceed with the renaming?

[SkySkimmer]

Just do it? Not sure what you're asking for.