Giters
gap-system
/
PackageDistroTools
Tools to manage the GAP package disribution
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
Watchers:
6
Issues:
7
Forks:
4
gap-system/PackageDistroTools Issues
Avoid str.removesuffix, it was added only in Python 3.9
Closed
2 years ago
Comments count
1
Add some tests, and CI
Closed
2 years ago
Comments count
1
Add `assemble-distro.py`
Closed
2 years ago
Comments count
2
Add `download-package.py`
Closed
2 years ago
Comments count
2
Preserve tarball names
Closed
2 years ago
Comments count
1
Should PackageDistro and PackageDistroTools be merged into one directory?
Closed
2 years ago
Comments count
2
Dealing with packages being renamed?
Closed
2 years ago
Comments count
2