Note that we currently don't have any tracking of packages being added to
extra-dev that work only with 8.14+rc1 that we later want to move to
released once 8.14.0 is out. Due to the limited resources we already have for the opam archive, I will assume this is done by platform maintainers.
@Karl Palmskog I can easily do this for all packages which are in the platform - I can trivially find out what is missing. But I don't have a plan of what to do with packages not in the platform.
fine by me if non-platform packages are on their own, the main concern is the platform packages.
@Michael Soegtrop I didn't internalize the "do not close issues" stuff, I will try to remember it better from now on, do you want to reopen this? https://github.com/coq-community/coq-dpdgraph/issues/88
Yes please re-open it. If you think this policy is uncommon or even annoying, I am open to other suggestions. An alternative would be to create two tickets for each package, one on Coq Platform and on on the respective repo. Then I could link the two issues and my local issues to my tracker issue.
Last updated: Jan 30 2023 at 11:03 UTC