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