Your message dated Tue, 12 Aug 2008 14:17:09 +0000 with message-id <[EMAIL PROTECTED]> and subject line Bug#248172: fixed in gnat-4.3 4.3.1-2 has caused the Debian Bug report #248172, regarding [Fixed in 4.4] gnat: Legal program rejected, procedure of 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.) -- 248172: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=248172 Debian Bug Tracking System Contact [EMAIL PROTECTED] with problems
--- Begin Message ---Package: gnat Version: 3.15p-9 Severity: normal The following program is legal: package Test_87 is protected T1 is procedure p2; end T1; generic with procedure p4 is T1.p2; -- line 7 package pak3 is end pak3; end Test_87; But the compiler says: test_87.ads:7:30: expect valid subprogram name as default gnatmake: "test_87.ads" compilation error -- System Information: Debian Release: testing/unstable APT prefers testing APT policy: (500, 'testing') Architecture: i386 (i686) Kernel: Linux 2.4.25-1-686 Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 Versions of packages gnat depends on: ii libc6 2.3.2.ds1-12 GNU C Library: Shared libraries an ii libgnat-3.15p-1 3.15p-9 The GNU Ada 95 compiler runtime li -- no debconf information
--- End Message ---
--- Begin Message ---Source: gnat-4.3 Source-Version: 4.3.1-2 We believe that the bug you reported is fixed in the latest version of gnat-4.3, which is due to be installed in the Debian FTP archive: gnat-4.3-base_4.3.1-2_amd64.deb to pool/main/g/gnat-4.3/gnat-4.3-base_4.3.1-2_amd64.deb gnat-4.3_4.3.1-2.diff.gz to pool/main/g/gnat-4.3/gnat-4.3_4.3.1-2.diff.gz gnat-4.3_4.3.1-2.dsc to pool/main/g/gnat-4.3/gnat-4.3_4.3.1-2.dsc gnat-4.3_4.3.1-2_amd64.deb to pool/main/g/gnat-4.3/gnat-4.3_4.3.1-2_amd64.deb libgnat-4.3-dbg_4.3.1-2_amd64.deb to pool/main/g/gnat-4.3/libgnat-4.3-dbg_4.3.1-2_amd64.deb libgnat-4.3_4.3.1-2_amd64.deb to pool/main/g/gnat-4.3/libgnat-4.3_4.3.1-2_amd64.deb libgnatprj4.3-dbg_4.3.1-2_amd64.deb to pool/main/g/gnat-4.3/libgnatprj4.3-dbg_4.3.1-2_amd64.deb libgnatprj4.3-dev_4.3.1-2_amd64.deb to pool/main/g/gnat-4.3/libgnatprj4.3-dev_4.3.1-2_amd64.deb libgnatprj4.3_4.3.1-2_amd64.deb to pool/main/g/gnat-4.3/libgnatprj4.3_4.3.1-2_amd64.deb libgnatvsn4.3-dbg_4.3.1-2_amd64.deb to pool/main/g/gnat-4.3/libgnatvsn4.3-dbg_4.3.1-2_amd64.deb libgnatvsn4.3-dev_4.3.1-2_amd64.deb to pool/main/g/gnat-4.3/libgnatvsn4.3-dev_4.3.1-2_amd64.deb libgnatvsn4.3_4.3.1-2_amd64.deb to pool/main/g/gnat-4.3/libgnatvsn4.3_4.3.1-2_amd64.deb A summary of the changes between this version and the previous one is attached. Thank you for reporting the bug, which will now be closed. If you have further comments please address them to [EMAIL PROTECTED], and the maintainer will reopen the bug report if appropriate. Debian distribution maintenance software pp. Ludovic Brenta <[EMAIL PROTECTED]> (supplier of updated gnat-4.3 package) (This message was generated automatically at their request; if you believe that there is a problem with it please contact the archive administrators by mailing [EMAIL PROTECTED]) -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Sat, 9 Aug 2008 18:33:49 +0200 Source: gnat-4.3 Binary: gnat-4.3-base gnat-4.3 libgnat-4.3 libgnat-4.3-dbg libgnatvsn4.3-dev libgnatvsn4.3 libgnatvsn4.3-dbg libgnatprj4.3-dev libgnatprj4.3 libgnatprj4.3-dbg Architecture: source amd64 Version: 4.3.1-2 Distribution: unstable Urgency: low Maintainer: Debian GCC Maintainers <[EMAIL PROTECTED]> Changed-By: Ludovic Brenta <[EMAIL PROTECTED]> Description: gnat-4.3 - The GNU Ada compiler gnat-4.3-base - The GNU Compiler Collection (gnat base package) libgnat-4.3 - Runtime library for GNU Ada applications libgnat-4.3-dbg - Runtime library for GNU Ada applications libgnatprj4.3 - GNU Ada Project Manager libgnatprj4.3-dbg - GNU Ada Project Manager libgnatprj4.3-dev - GNU Ada Project Manager development files libgnatvsn4.3 - GNU Ada compiler version library libgnatvsn4.3-dbg - GNU Ada compiler version library libgnatvsn4.3-dev - GNU Ada compiler version library - development files Closes: 248172 487564 492866 493814 Changes: gnat-4.3 (4.3.1-2) unstable; urgency=low . [Ludovic Brenta] * Add sdefault.ads to libgnatprj4.3-dev. Closes: #492866. * turn gnatvsn.gpr and gnatprj.gpr into proper library project files. * Unconditionally build-depend on gnat. Closes: #487564. * (debian/rules.d/binary-ada.mk): Add a symlink libgnat.so to /usr/lib/libgnat-4.3.so in the adalib directory. Closes: #493814. * (debian/patches/ada-sjlj.dpatch): remove dangling symlinks from all adalib directories. . [Samuel Tardieu, Ludovic Brenta] * debian/patches/pr16086.dpatch: new; backport from GCC 4.4. Closes: #248172. * debian/patches/pr35792.dpatch: new; backport from GCC 4.4. Checksums-Sha1: 360d0720fe2fdd82121a85a6a4b88dd1d57b7548 2418 gnat-4.3_4.3.1-2.dsc b0d75987e9c9b53b637d62da0c1c771edd7d5d0c 498417 gnat-4.3_4.3.1-2.diff.gz 1154a2bdbf70b318e68afd0bfee94377b96ed2bb 554190 gnat-4.3-base_4.3.1-2_amd64.deb 30e1dc8df796f9fdd65a9607b3f99d636201d041 1112820 libgnat-4.3_4.3.1-2_amd64.deb e513033777642b8966025ab42a6f6e672985b760 1717304 libgnatvsn4.3-dev_4.3.1-2_amd64.deb ab6fb3ecf6fe2ee84ab606185d60fcdf039fdf5f 330446 libgnatvsn4.3_4.3.1-2_amd64.deb 7da3bb6a28f529cd92b5f156bcb1cb0e708d1036 2658094 libgnatprj4.3-dev_4.3.1-2_amd64.deb bd358213a1dfa61218edb5a9a191ad5d36ad51f7 564270 libgnatprj4.3_4.3.1-2_amd64.deb 3aea69b6d0ee995d129d1d9d49bbe09ef91daed8 900304 libgnatprj4.3-dbg_4.3.1-2_amd64.deb 3d6fcd19319306f4cff3916ccc031194c7d86788 1937832 libgnat-4.3-dbg_4.3.1-2_amd64.deb 87f2cd7ed0c0b3e2a4fe9cca205f10a8bff17dad 460756 libgnatvsn4.3-dbg_4.3.1-2_amd64.deb 0300aa7f021019066c7a7b67f0ea02ace0d06864 13652410 gnat-4.3_4.3.1-2_amd64.deb Checksums-Sha256: d8ab75aecd86428c87296c5bb4da6805d0b2dbd698a54b28b9e7f3c1201faee5 2418 gnat-4.3_4.3.1-2.dsc ca79131c862ee6b6378bad3d9b85b6f17987065e9242448c5a4f6d916958b9fd 498417 gnat-4.3_4.3.1-2.diff.gz 9cff15271be7c8e287a938b5280be9615d102a6370932bfdf1f0efdaec8812ba 554190 gnat-4.3-base_4.3.1-2_amd64.deb f2e89deb1208f721188533bc16fdc89c40c53d4e159df7277335703ab3aa7431 1112820 libgnat-4.3_4.3.1-2_amd64.deb 3c00aaa0f31a5699517bc1b4033cf27850be35a58847f1fdd4b7f262d32268ba 1717304 libgnatvsn4.3-dev_4.3.1-2_amd64.deb dca0a92b9e77f76ee3d43e44802da5bcf1f58fc2d1368cfa7f1a53a10cbd374b 330446 libgnatvsn4.3_4.3.1-2_amd64.deb decf64bc67716fb3490f8a1e1c53ed73e6de02a34cde04526e4e70a657923159 2658094 libgnatprj4.3-dev_4.3.1-2_amd64.deb 8a3c98c38c059595a9a5f2fa3b8e808ea1f8514bbf9ccd172bbeea34072c5a6d 564270 libgnatprj4.3_4.3.1-2_amd64.deb 728109ee8a0f168d5f5b2602c40141bb584a7b510fa22ab45c7fae5d9e53153b 900304 libgnatprj4.3-dbg_4.3.1-2_amd64.deb 0b5fec53e156180b6a6cdfc84b35e81c6a61a21930764729878895fb43b200c5 1937832 libgnat-4.3-dbg_4.3.1-2_amd64.deb 0dd00acf889e8771b2cbd60985ff01094164371a5b3e1ef6011d727f1d5fb6aa 460756 libgnatvsn4.3-dbg_4.3.1-2_amd64.deb 1e5ec1a0f724352d1006447b998dee872f0bcc1afc1ee6d4afc7b3132bff3443 13652410 gnat-4.3_4.3.1-2_amd64.deb Files: 34f15cc56db6d60aa1bd3f86308daa9f 2418 devel optional gnat-4.3_4.3.1-2.dsc db3dbd7e84f42e7cb2ec7b57904fa33d 498417 devel optional gnat-4.3_4.3.1-2.diff.gz 7317c038a31a758de89617909f105125 554190 libs optional gnat-4.3-base_4.3.1-2_amd64.deb 16c831f1e45dea39dbcfa3a4707ce02d 1112820 libs optional libgnat-4.3_4.3.1-2_amd64.deb f2f9edd2385429fe623ea5ad1e49a097 1717304 libdevel optional libgnatvsn4.3-dev_4.3.1-2_amd64.deb f38a82634594009bfedeb04582776dd2 330446 libs optional libgnatvsn4.3_4.3.1-2_amd64.deb 7e9581e9f7918d0130bfb6d8db69a85e 2658094 libdevel optional libgnatprj4.3-dev_4.3.1-2_amd64.deb d0b9fc20f86eaec00e64a1280345341e 564270 libs optional libgnatprj4.3_4.3.1-2_amd64.deb 207ff0edf0128ac7e092733f42962aad 900304 libdevel extra libgnatprj4.3-dbg_4.3.1-2_amd64.deb 52d6ffa71d7554ab9e67b9e416759673 1937832 libdevel extra libgnat-4.3-dbg_4.3.1-2_amd64.deb 5305d45298d55458a608231e8cfcf94a 460756 libdevel extra libgnatvsn4.3-dbg_4.3.1-2_amd64.deb 568bd927ae8c708e77725d1380fcbb93 13652410 devel optional gnat-4.3_4.3.1-2_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.9 (GNU/Linux) iD8DBQFIoZaZx9kwJZ3/qtQRAjoiAJ9x2TlLR8C8bhEN+g0gQoamxjuV5gCfYWZZ 8GboiKhAys23Y7WX3i3aEjo= =RrJW -----END PGP SIGNATURE-----
--- End Message ---
