Skip to content

GitLab

Explore

Sign in
Register

G

gap2deb

Project information

gap2deb is a GAP script that builds a debian repository from the PackageInfo.g file of a GAP package.

34 Commits
3 Branches
0 Tags

Created on

September 23, 2020

Loading