gap-system

gap-system/ReleaseTools

Tool to help GAP package authors with the process of making new releases of their packages

1 good first / help-wanted issue · Shell · last activity Sep 2, 2025

11 stars 13 forks 11 watchers Shell Other
View on GitHub
1 Open Issue Need Help Last updated: Sep 2, 2025

Open Issues Need Help

View All on GitHub
More helpful errors about 1 year ago
enhancement good first issue resolved-by-workflow
gap-system/ReleaseTools
11

Tool to help GAP package authors with the process of making new releases of their packages

Shell