[lins] New package, version 0.7 - Githubissues

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

[lins] New package, version 0.7 #919

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

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

LINS 0.7: [PackageInfo.g] [README] [website] [source archive]
source repository
issue tracker