gpmigmdet

Extra packages for GAP

Install

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

gap-packages

Extra packages for GAP