Stream: Coq Platform devs & users

Topic: 8.14 platform packages to move from extra-dev to released

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: Apr 19 2024 at 00:02 UTC