search

gap-system / PackageDistro

The GAP package distribution is managed via this repository
https://gap-system.github.io/PackageDistro/
GNU General Public License v2.0
4 stars 8 forks source link

[json] Update to 2.2.0 #881

Closed gap-package-distribution-bot[bot] closed 9 months ago

gap-package-distribution-bot[bot] commented 9 months ago