Package: gap-dev
Version: 4r6p5-3.1
Severity: important
Dear Maintainer,
as GAP is built with GMP support, gmp.h is needed
for GAP development.
hth,
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.11.10-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-dev depends on:
ii gap-core 4r6p5-3.1
ii gcc 4:4.7.2-1
gap-dev recommends no packages.
gap-dev suggests no packages.
-- no debconf information
--
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]
