execcmd.gap
Extra packages for GAP
Install
- All systems
-
curl cmd.cat/execcmd.gap.sh
- Arch Linux
-
pacman -S gap-packages
Extra packages for GAP
curl cmd.cat/execcmd.gap.shpacman -S gap-packages