PackageManager

GAP package PackageManager

Easily download and install GAP packages

PackageManager is a basic collection of simple functions for installing and removing GAP packages, with the eventual aim of becoming a full pip-style package manager for the GAP system.

[WWW homepage]       [Source code repository]       [Issue tracker]

Author

Michael Young

Maintainer

Michael Young

Version with GAP 4.12.2

1.3.2    (Released 06/10/2022)

License

GPL-2.0-or-later

Status

deposited

Dependencies

GAP version: >= 4.10
Suggested other packages: GAPDoc (>= 1.6.1), curlInterface (>= 2.1.0)

Documentation

PackageManager [HTML]     [PDF]

Download

PackageManager-1.3.2   [.tar.gz]