[localnr] New package, version 1.0.4#1332
Open
gap-package-distribution-bot[bot] wants to merge 1 commit intomainfrom
Open
[localnr] New package, version 1.0.4#1332gap-package-distribution-bot[bot] wants to merge 1 commit intomainfrom
gap-package-distribution-bot[bot] wants to merge 1 commit intomainfrom
Commits
Commits on Apr 28, 2026
- authored andcommitted
![gap-package-distribution-bot[bot]](https://avatars.githubusercontent.com/u/5344223?v=4&size=32){kind=avatar}
![github-actions[bot]](https://avatars.githubusercontent.com/in/15368?v=4&size=32){kind=avatar}