To allow GAP to start faster, Debian provides a global workspace file in /var/lib/gap/workspace.gz. This file is managed by update-gap-workspace.
/var/lib/gap/workspace.gz
update-gap-workspace
Debian GAP Policy
ballombe@debian.org