PackageManager

Easily download and install GAP packages

Version 0.5.1
Released 2019-07-18

This project is maintained by Michael Torpey

GAP Package PackageManager

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.

The current version of this package is version 0.5.1, released on 2019-07-18. For more information, please refer to the package manual. There is also a README file.

Dependencies

This package requires GAP version >= 4.9

The following other GAP packages are needed:

The following additional GAP packages are not required, but suggested:

Author

Michael Torpey.

Citing

Please, cite this package as

[Tor19] Torpey, M., PackageManager, Easily download and install GAP packages, Version 0.5.1 (2019)
(GAP package), https://gap-packages.github.io/PackageManager/.

You can get more info by typing Cite("PackageManager"); in the gap prompt.

Feedback

For bug reports, feature requests and suggestions, please use the issue tracker.