[GAP Forum] Quagroup Installation

[Bill Allombert]

On Mon, Dec 14, 2020 at 08:00:25AM +0100, Willem Adriaan De Graaf wrote:
> Dear Isaac,
> 
> You can get the package separately (for example from
> https://gap-packages.github.io/quagroup/),
> untar and gunzip in the pkg directory, and it should work.
> Please let me know if it does not.

Specifically, when using the Debian GAP packages, you have the choice between
installing in 
/usr/local/share/gap/pkg
or
$HOME/gap/pkg

(the Debian gap script looks at both)

Cheers,
Bill