[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Accepted gnat-gps 4.0.1-4 (source all amd64)



-----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



Reply to: