packages.tar.gz is missing from latest release

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

Closed zickgraf closed 1 year ago

zickgraf commented 1 year ago

curl https://github.com/gap-system/PackageDistro/releases/download/latest/packages.tar.gz gives Not Found

fingolfin commented 1 year ago

Fixed

zickgraf commented 1 year ago

Fixed

Confirmed, thanks!