Accepted gnat-gps 5.0-3 (source all amd64)

[Ludovic Brenta <lbrenta@debian.org>]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Mon,  2 Jan 2012 12:33:10 +0100
Source: gnat-gps
Binary: gnat-gps gnat-gps-dbg gnat-gps-doc gnat-gps-common
Architecture: source amd64 all
Version: 5.0-3
Distribution: unstable
Urgency: low
Maintainer: Ludovic Brenta <lbrenta@debian.org>
Changed-By: Ludovic Brenta <lbrenta@debian.org>
Description: 
 gnat-gps   - integrated development environment for C and Ada
 gnat-gps-common - integrated development environment for C and Ada (common files)
 gnat-gps-dbg - integrated development environment for C and Ada (debugging symbo
 gnat-gps-doc - integrated development environment for C and Ada (documentation)
Closes: 653425 653470
Changes: 
 gnat-gps (5.0-3) unstable; urgency=low
 .
   * debian/control (gnat-gps-common): Conflict with and Replace gnat-gps (< 5.0).
     Closes: #653425.
     (Build-Depends): remove libgmp-dev, not actually used.
   * debian/rules (DIRS_WITH_C_SOURCES): remove gnatlib/src/gmp, not
     actually used.
   * debian/build_gps.gpr: work around compiler bug #642981 on armel by
     disabling inlining in select source files.
   * debian/patches/bug-653470.patch: new.  Closes: #653470.
   * debian/gnat-gps-common.install: install the docgen2 files in /usr/share/gps.
   * debian/patches/file_selector.patch: new; allow the file selector to
     open itself.  There is still a bug though, see below.
   * debian/TODO: new.  Document known bugs to be solved before the package
     is fit for release.  Help is welcome as usual, see #496905.
Checksums-Sha1: 
 0664f1e617b080fc36670e1d243697b9fdb6cda7 1721 gnat-gps_5.0-3.dsc
 e0f963efd8a0c626497d7c200fb6d8743bfba83b 58986 gnat-gps_5.0-3.debian.tar.bz2
 a8cc70c693d9d249c551f049aa70c393f1a7a210 7723424 gnat-gps_5.0-3_amd64.deb
 925a91f6099043032ffba9c17223bbcdbee3f3ca 21485532 gnat-gps-dbg_5.0-3_amd64.deb
 9a8b14e80ae02e584d6336cd0dde140a160c7e7c 9740844 gnat-gps-doc_5.0-3_all.deb
 dd726ba64d6cfa29b2acb46f962e74919fd6f8ec 1647890 gnat-gps-common_5.0-3_all.deb
Checksums-Sha256: 
 8f12069440c6011f5bf7ca270941204096dfcb5cfd1e48321b603fe74e3cfd81 1721 gnat-gps_5.0-3.dsc
 bd747a0df5fcbf400bfd9418ce7d623845332d4eaf3ee83b297103900cbc7b63 58986 gnat-gps_5.0-3.debian.tar.bz2
 bc87c09bbe88c80115fabab32b80a6d0976a0d2711be8a004275aaeb18db3a43 7723424 gnat-gps_5.0-3_amd64.deb
 a14b0bc35fa46e6fa0a94e672c90c7a0bb560a065c9cb8fcb87788056b2bf118 21485532 gnat-gps-dbg_5.0-3_amd64.deb
 a57a182ee45ed4b816bd2f118e2d9a8b193caeaebc239d0b1cce0489520b586c 9740844 gnat-gps-doc_5.0-3_all.deb
 52e6975de5725a2d1548cf92e772cd850e762eaa81f2b8dca6ee129789815188 1647890 gnat-gps-common_5.0-3_all.deb
Files: 
 38ab3499701023c29e7449aeb309a0a7 1721 devel optional gnat-gps_5.0-3.dsc
 4d365b4f79000a0cd22e19cb3ec93ea5 58986 devel optional gnat-gps_5.0-3.debian.tar.bz2
 d43423ab556e4f1ee6f473e7439b15ed 7723424 devel optional gnat-gps_5.0-3_amd64.deb
 94f54b2a079a0e4f831137c4bd941baf 21485532 debug extra gnat-gps-dbg_5.0-3_amd64.deb
 1b24cf76ed67ca057d7c5f312693972c 9740844 doc optional gnat-gps-doc_5.0-3_all.deb
 5804781ec259426864e993d202cda386 1647890 devel optional gnat-gps-common_5.0-3_all.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)

iD8DBQFPAcNAx9kwJZ3/qtQRAuKWAKCRSr+eZ8jPXNgtdUw75OyKSk3LpgCfbLL0
clIwN70y9fhdNjcMH31Rk8A=
=/4wu
-----END PGP SIGNATURE-----


Accepted:
gnat-gps-common_5.0-3_all.deb
  to main/g/gnat-gps/gnat-gps-common_5.0-3_all.deb
gnat-gps-dbg_5.0-3_amd64.deb
  to main/g/gnat-gps/gnat-gps-dbg_5.0-3_amd64.deb
gnat-gps-doc_5.0-3_all.deb
  to main/g/gnat-gps/gnat-gps-doc_5.0-3_all.deb
gnat-gps_5.0-3.debian.tar.bz2
  to main/g/gnat-gps/gnat-gps_5.0-3.debian.tar.bz2
gnat-gps_5.0-3.dsc
  to main/g/gnat-gps/gnat-gps_5.0-3.dsc
gnat-gps_5.0-3_amd64.deb
  to main/g/gnat-gps/gnat-gps_5.0-3_amd64.deb