-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Sat, 4 Aug 2007 18:52:26 +0200 Source: gnat-gps Binary: gnat-gps-doc gnat-gps Architecture: source amd64 all Version: 4.0.1-4 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 Closes: 414614 423231 435544 Changes: gnat-gps (4.0.1-4) unstable; urgency=low . * debian/rules: install the HTML documentation generated from gps.texi. Closes: #423231. * patches/command-names.patch: apply fix from Teemu Ikonen. Thanks! Closes: #435544. * patches/command-names.patch (gvd-process.adb): change the default debugger command to gnatgdb. Closes: #414614. Also fix a typo. * debian/control: transition to tetex-live. * patches/gtkada-2.8.1.patch: adjust to 2.8.1-6, replacing "or" with "+" when adding values of a bitfield. * patches/documentation-formats.patch: new. Provide a PDF version of the tutorial, and a text version of the programmer's guide, too. Files: 6e74aa671b1c6ae664d985d7cc9d0ffe 848 devel optional gnat-gps_4.0.1-4.dsc d3a5eec16bcadd572f136dbc76197473 31174 devel optional gnat-gps_4.0.1-4.diff.gz 2b9fa8d0808cb716ca12e0776a0dc1aa 7620706 doc optional gnat-gps-doc_4.0.1-4_all.deb 51d01609c2106601788a6f4accb30b6b 7062670 devel optional gnat-gps_4.0.1-4_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.6 (GNU/Linux) iD8DBQFGtPV8x9kwJZ3/qtQRAqgdAKCqMLm90aaDsoFEGL/lFpCEW/wspgCeLsdF u161N6LJo2ynMZslMgi817s= =iSGt -----END PGP SIGNATURE----- Accepted: gnat-gps-doc_4.0.1-4_all.deb to pool/main/g/gnat-gps/gnat-gps-doc_4.0.1-4_all.deb gnat-gps_4.0.1-4.diff.gz to pool/main/g/gnat-gps/gnat-gps_4.0.1-4.diff.gz gnat-gps_4.0.1-4.dsc to pool/main/g/gnat-gps/gnat-gps_4.0.1-4.dsc gnat-gps_4.0.1-4_amd64.deb to pool/main/g/gnat-gps/gnat-gps_4.0.1-4_amd64.deb
