[packagemanager] Update to 1.4.2 - 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

[packagemanager] Update to 1.4.2 #858

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

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

PackageManager 1.4.2: [PackageInfo.g] [README] [website] [source archive]
source repository
issue tracker