[ 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

version 0.1, 5 novembre 2022

Bill Allombert mailto:ballombe@debian.org