Your message dated Thu, 27 Feb 2014 20:02:42 +0100 with message-id <[email protected]> and subject line gap-dev: shoud depend on gmp-dev [CLOSE] has caused the Debian Bug report #734448, regarding gap-dev: shoud depend on gmp-dev to be marked as done.
This means that you claim that the problem has been dealt with. If this is not the case it is now your responsibility to reopen the Bug report if necessary, and/or fix the problem forthwith. (NB: If you are a system administrator and have no idea what this message is talking about, this may indicate a serious mail system misconfiguration somewhere. Please contact [email protected] immediately.) -- 734448: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=734448 Debian Bug Tracking System Contact [email protected] with problems
--- Begin Message ---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
--- End Message ---
--- Begin Message --------BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 For the record, it has been fixed in package 4r7p2-1 . Best wishes, Jerome -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iQEcBAEBAgAGBQJTD4vEAAoJEIC/w4IMSybjmMEIAJBS+ffD5jAW7uZctAdwImFS w8AmlYHxe5dpMZPDSfU73Udn/kz0GXpECJtq6IQyFHTpIWohm/OvWa6XOoKYs1CZ /XEhPt1qsyxx4PKjNqijjfZnkUnYYy8FmRPAtKVU+FyvgTRWYAbVhrb4nLdQY8Z/ aa4e6BOWzCywxatOfcz39JL15bYRuL7yQ5KnKm8bKW7AYIHX4cSNFOejcVdRmvtT kX371fEP23AZ879FShgFijcHK1rTsGkKlF2bJCf7/cGmrwQov/umhlv2FXg8j7lP KpGEV7rB9CrwughicGY5TtoJNSKKAiYWGRY1IIiUM5gsa5KuxQqofYHn5qmwkqM= =qNk1 -----END PGP SIGNATURE-----
--- End Message ---
