profiling.so

Extra packages for GAP

Install

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

gap-packages

Extra packages for GAP