gpsubpres

Extra packages for GAP

Install

All systems
curl cmd.cat/gpsubpres.sh
Arch Arch Linux
pacman -S gap-packages

gap-packages

Extra packages for GAP