Karl Palmskog (Oct 05 2021 at 14:38): Karl Palmskog (Oct 05 2021 at 14:38):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.
Michael Soegtrop (Oct 05 2021 at 15:11):@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.
Karl Palmskog (Oct 05 2021 at 15:12):fine by me if non-platform packages are on their own, the main concern is the platform packages.
Karl Palmskog (Oct 07 2021 at 14:26):@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
Michael Soegtrop (Oct 07 2021 at 17:22):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: Jun 03 2023 at 03:01 UTC