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