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 _______________________________________________ Forum mailing list Forum@gap-system.org https://mail.gap-system.org/mailman/listinfo/forum
