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

Debian GAP Policy
Chapter 4 - 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.


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

Debian GAP Policy

version 0.1, 12 January 2005

Bill Allombert ballombe@debian.org