Add a package distro overview page that list all packages in the distro, their versions, etc. --

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

Open fingolfin opened 9 months ago

fingolfin commented 9 months ago

We could go further and provide a subpage for every package in the distro with more details, broadly similar to (but hopefully "better" than) https://www.gap-system.org/Packages/packages.html

Eventually this could be listed at, say https://pkg.gap-system.org ?