Skip to content

Issues: gap-system/gap

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.

Sign up for GitHub

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

Clear current search query, filters, and sorts
22 Open 135 Closed
22 Open 135 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Teach packages to find and use GMP in more cases (and possibly also other homebrew packages) topic: packages issues or PRs related to package handling, or specific to a package (for packages w/o issue tracker)
#5678 opened Mar 17, 2024 by fingolfin
conflict between ExtendRootDirectories and SetPackagePath kind: bug Issues describing general bugs, and PRs fixing them topic: packages issues or PRs related to package handling, or specific to a package (for packages w/o issue tracker)
#5462 opened Jun 14, 2023 by ThomasBreuer
Merge package author documentation on GAP website into reference manual? topic: documentation Issues and PRs related to documentation topic: packages issues or PRs related to package handling, or specific to a package (for packages w/o issue tracker)
#5382 opened Feb 15, 2023 by fingolfin
3
Improving "installability" of packages with compiled parts topic: packages issues or PRs related to package handling, or specific to a package (for packages w/o issue tracker)
#5365 opened Feb 3, 2023 by fingolfin
NiceMonomorphism regression regression A bug that only occurs in the branch, not in a release topic: packages issues or PRs related to package handling, or specific to a package (for packages w/o issue tracker)
#5037 opened Sep 7, 2022 by fingolfin
1 of 5 tasks
@ThomasBreuer
4
Document prerequisites.sh for packages kind: enhancement Label for issues suggesting enhancements; and for pull requests implementing enhancements topic: documentation Issues and PRs related to documentation topic: packages issues or PRs related to package handling, or specific to a package (for packages w/o issue tracker)
#4987 opened Aug 15, 2022 by fingolfin GAP 4.14.0
Better documentation and handling of TestFile in PackageInfo.g kind: discussion discussions, questions, requests for comments, and so on topic: ci Anything related to GitHub Actions, Codecov, AppVeyor, Coveralls, Travis, ... topic: documentation Issues and PRs related to documentation topic: packages issues or PRs related to package handling, or specific to a package (for packages w/o issue tracker) topic: tests issues or PRs related to tests
#4821 opened Mar 9, 2022 by fingolfin
2
Better errors when loading packages fails gapdays2022-winter Issues and PRs that could be tackled or discussed at https://www.gapdays.de/gapdays2022-winter kind: enhancement Label for issues suggesting enhancements; and for pull requests implementing enhancements release notes: use title For PRs: the title of this PR is suitable for direct use in the release notes topic: library topic: packages issues or PRs related to package handling, or specific to a package (for packages w/o issue tracker)
#4795 opened Feb 24, 2022 by ChrisJefferson Loading…
4
Alternative for ReleaseTools driven by GitHub Actions gapdays2022-winter Issues and PRs that could be tackled or discussed at https://www.gapdays.de/gapdays2022-winter topic: packages issues or PRs related to package handling, or specific to a package (for packages w/o issue tracker)
#4785 opened Feb 21, 2022 by fingolfin
1
Provide functionality for retrieving and managing data from a webserver (e.g. via a package) kind: enhancement Label for issues suggesting enhancements; and for pull requests implementing enhancements topic: packages issues or PRs related to package handling, or specific to a package (for packages w/o issue tracker)
#4285 opened Feb 24, 2021 by fingolfin
2
Makefile.gappkg improvements kind: enhancement Label for issues suggesting enhancements; and for pull requests implementing enhancements topic: build system topic: packages issues or PRs related to package handling, or specific to a package (for packages w/o issue tracker)
#3973 opened Apr 20, 2020 by fingolfin
2 of 5 tasks
@fingolfin
1
Add a third bootstrap variant which is "minimal" plus PackageManager topic: build system topic: infrastructure topic: packages issues or PRs related to package handling, or specific to a package (for packages w/o issue tracker)
#3913 opened Mar 3, 2020 by fingolfin
@olexandr-konovalov
5
Improve info if needed dep for a package does not exist do not merge PRs which are not yet ready to be merged (e.g. submitted for discussion, or test results) kind: enhancement Label for issues suggesting enhancements; and for pull requests implementing enhancements release notes: to be added PRs introducing changes that should be (but have not yet been) mentioned in the release notes topic: packages issues or PRs related to package handling, or specific to a package (for packages w/o issue tracker)
#3322 opened Mar 2, 2019 by fingolfin Loading…
7
Decide about default package banners kind: discussion discussions, questions, requests for comments, and so on topic: packages issues or PRs related to package handling, or specific to a package (for packages w/o issue tracker)
#3254 opened Jan 30, 2019 by ThomasBreuer
Change IsPackageLoaded to accept abbreviated package names, like LoadPackage? kind: discussion discussions, questions, requests for comments, and so on kind: enhancement Label for issues suggesting enhancements; and for pull requests implementing enhancements topic: packages issues or PRs related to package handling, or specific to a package (for packages w/o issue tracker)
#2863 opened Sep 24, 2018 by fingolfin
1
GAP should not require PrimgGrp/SmallGrp/TransGrp packages kind: discussion discussions, questions, requests for comments, and so on kind: enhancement Label for issues suggesting enhancements; and for pull requests implementing enhancements topic: packages issues or PRs related to package handling, or specific to a package (for packages w/o issue tracker)
#2434 opened May 2, 2018 by olexandr-konovalov
5
Change packages' CI setup to use Docker images kind: enhancement Label for issues suggesting enhancements; and for pull requests implementing enhancements topic: ci Anything related to GitHub Actions, Codecov, AppVeyor, Coveralls, Travis, ... topic: packages issues or PRs related to package handling, or specific to a package (for packages w/o issue tracker) topic: tests issues or PRs related to tests
#2262 opened Mar 11, 2018 by fingolfin
@olexandr-konovalov
2
Dealing with Old Versions of Packages that are Broken by Releases; add "Conflicts" field to PackageInfo.g? kind: enhancement Label for issues suggesting enhancements; and for pull requests implementing enhancements topic: packages issues or PRs related to package handling, or specific to a package (for packages w/o issue tracker)
#2077 opened Jan 10, 2018 by stevelinton
2
Proposal: move Rees matrix semigroups from library to Semigroups package gapdays2017-fall Issues and PRs that arose at https://www.gapdays.de/gapdays2017-fall kind: discussion discussions, questions, requests for comments, and so on topic: packages issues or PRs related to package handling, or specific to a package (for packages w/o issue tracker)
#1681 opened Sep 6, 2017 by wilfwilson
2
Guessing a package for a given documented name kind: enhancement Label for issues suggesting enhancements; and for pull requests implementing enhancements topic: packages issues or PRs related to package handling, or specific to a package (for packages w/o issue tracker)
#1173 opened Feb 28, 2017 by olexandr-konovalov
@olexandr-konovalov
Revised list of packages loaded by default do not merge PRs which are not yet ready to be merged (e.g. submitted for discussion, or test results) topic: packages issues or PRs related to package handling, or specific to a package (for packages w/o issue tracker)
#1135 opened Feb 11, 2017 by olexandr-konovalov Loading…
23
Spurious CR at start of output in quiet mode, caused by Browse package kind: discussion discussions, questions, requests for comments, and so on status: wontfix Issues that it has been decided will not be addressed topic: packages issues or PRs related to package handling, or specific to a package (for packages w/o issue tracker)
#430 opened Dec 26, 2015 by eduardkareletc
18
ProTip! Add no:assignee to see everything that’s not assigned.