[ previous ] [ Contents ] [ 1 ] [ 2 ] [ 3 ] [ 4 ] [ 5 ] [ 6 ] [ 7 ] [ next ]

Debian GAP Policy
Chapter 5 - Global GAP workspace

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. If this file exists, it will be automatically updated whenever a Debian GAP package is installed or upgraded, through a gap-core dpkg trigger.

[ previous ] [ Contents ] [ 1 ] [ 2 ] [ 3 ] [ 4 ] [ 5 ] [ 6 ] [ 7 ] [ next ]

Debian GAP Policy