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

[typeset] Update to 1.2.0 #906

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

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