Package: gap
Version: 4r7p4-1
Severity: normal
Dear Maintainer:
It appears that some GAP package uses configuration files:
these files must be stored somewhere in the /etc directory
on Debian machines.
I believe that the configuration material for each GAP package
<PKG> should be placed in /etc/gap/<PKG>, its content being
specific to the GAP pacakge <PKG>.
Please, can you clarify this point ?
Thanks in advance.
Cheers,
Jerome
-- System Information:
Debian Release: Wheezy*
APT prefers wheezy
APT policy: (990, 'wheezy'), (990, 'stable-updates'), (990, 'stable')
Architecture: amd64 (x86_64)
Foreign Architectures: i386
Kernel: Linux 3.12.9-amd64-mbp62 (SMP w/4 CPU cores)
Locale: LANG=en_GB.UTF-8, LC_CTYPE=en_GB.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Versions of packages gap depends on:
ii gap-core 4r7p4-1
ii gap-libs 4r7p4-1
ii gap-online-help 4r7p4-1
Versions of packages gap recommends:
ii gap-dev 4r7p4-1
ii gap-doc 4r7p4-1
pn gap-prim-groups <none>
pn gap-small-groups <none>
ii gap-trans-groups 4r4p10-1
Versions of packages gap suggests:
pn gap-character-tables <none>
pn gap-small-groups-extra <none>
pn gap-table-of-marks <none>
-- no debconf information
--
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]
