Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Packages: monitoring readiness for GAP 4.12 #3995

Closed
9 of 15 tasks
olexandr-konovalov opened this issue Apr 28, 2020 · 1 comment
Closed
9 of 15 tasks

Packages: monitoring readiness for GAP 4.12 #3995

olexandr-konovalov opened this issue Apr 28, 2020 · 1 comment
Labels
topic: packages issues or PRs related to package handling, or specific to a package (for packages w/o issue tracker)
Milestone

Comments

@olexandr-konovalov
Copy link
Member

olexandr-konovalov commented Apr 28, 2020

This is an issue to monitor the status of selected packages for which an update is desired in time for GAP 4.12. This replaces #2984 and lists everything from there which was not ready by the time of GAP 4.11. Of course, some of these issues may be addressed in package releases included in GAP 4.10 series. Please feel free to edit this issue and add more packages to the checklist.

HIGHLY DESIRABLE

  • GBNP

GOOD TO HAVE

PULL REQUESTS BLOCKED BY PACKAGES

WINDOWS ISSUES
Need also to check that as many as possible packages with binaries are usable under Windows.

ESTABLISHING PUBLIC REPOSITORIES

The list of remaining packages which are redistributed with GAP but do not have known (to us) public repository is at gap-packages/gap-packages.github.io#7. Please help to reduce it - by letting us know if the repository exists, of if you're a package author, by establishing it. We offer help with this:

  • we can prepare for you a repository with revisions history populated from the past releases of your package
  • we can automate publishing releases for you, and
  • we can run tests of the development version of your package, not only of its latest release.
@olexandr-konovalov olexandr-konovalov added the topic: packages issues or PRs related to package handling, or specific to a package (for packages w/o issue tracker) label Apr 28, 2020
@olexandr-konovalov olexandr-konovalov added this to the GAP 4.12.0 milestone Apr 28, 2020
@fingolfin fingolfin pinned this issue Jun 30, 2022
@fingolfin
Copy link
Member

I am satisfied with the readiness of packages.

@fingolfin fingolfin unpinned this issue Sep 2, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
topic: packages issues or PRs related to package handling, or specific to a package (for packages w/o issue tracker)
Projects
None yet
Development

No branches or pull requests

2 participants