usr/share/gap/pkg
