-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Wed, 29 Nov 2006 22:01:50 +0100 Source: gnat-gps Binary: gnat-gps-doc gnat-gps Architecture: source amd64 all Version: 4.0.1-3 Distribution: unstable Urgency: low Maintainer: Ludovic Brenta <lbrenta@debian.org> Changed-By: Ludovic Brenta <lbrenta@debian.org> Description: gnat-gps - The GNAT Programming System - advanced IDE for C and Ada gnat-gps-doc - The GNAT Programming System - documentation Changes: gnat-gps (4.0.1-3) unstable; urgency=low . * debian/gps.gpr: revert to -g -O2 -gnatafno -gnatVa and static elaboration checks. * patches/series (dynamically-tagged-expressions.patch): disable. * patches/documentation-path.patch: fix a bug whereby we would look for shell_commands.xml in the wrong directory. This in turn fixes the Help menu. * patches/memory-corruption.patch: new. Addresses: #400876, #400883, but does not close them yet because I think the underlying memory corruption bug is still lurking somewhere. Files: 7522af4165a037181ebed74d2d25c185 828 devel optional gnat-gps_4.0.1-3.dsc fcab03b1965774f616dcfca33846f902 100353 devel optional gnat-gps_4.0.1-3.diff.gz a9f63b2ec710edfc9f11a77be250b632 10748970 doc optional gnat-gps-doc_4.0.1-3_all.deb be198594c621fc0f0019b0a9a044df96 7015846 devel optional gnat-gps_4.0.1-3_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.5 (GNU/Linux) iD8DBQFFbhBfx9kwJZ3/qtQRAkm3AJ4nthPTakZxF3r8hS8hlXzx0FI4sACfTwFO s7qxHCZo11I2OzA1YYT7G7w= =Sbu5 -----END PGP SIGNATURE----- Accepted: gnat-gps-doc_4.0.1-3_all.deb to pool/main/g/gnat-gps/gnat-gps-doc_4.0.1-3_all.deb gnat-gps_4.0.1-3.diff.gz to pool/main/g/gnat-gps/gnat-gps_4.0.1-3.diff.gz gnat-gps_4.0.1-3.dsc to pool/main/g/gnat-gps/gnat-gps_4.0.1-3.dsc gnat-gps_4.0.1-3_amd64.deb to pool/main/g/gnat-gps/gnat-gps_4.0.1-3_amd64.deb