.... by deleting that list which confuses many people (well at least the list Packages hosted in the gap-packages organization on GitHub).
Instead redirect to the redesigned GAP packages list from PR #339 once that goes live.
Well, we could keep part of this data: namely a list of packages which are not distributed with GAP. That might be useful for some people. Alas, perhaps there is a better place for such a list, e.g. in our wiki?
fingolfin
commented
8 months ago
.... by deleting that list which confuses many people (well at least the list
Packages hosted in the gap-packages organization on GitHub).Instead redirect to the redesigned GAP packages list from PR #339 once that goes live.
Well, we could keep part of this data: namely a list of packages which are not distributed with GAP. That might be useful for some people. Alas, perhaps there is a better place for such a list, e.g. in our wiki?