Your message dated Fri, 20 Jul 2012 22:17:15 +0000 with message-id <e1sslvb-0005mu...@franck.debian.org> and subject line Bug#682229: fixed in gnat-gps 5.0-12 has caused the Debian Bug report #682229, regarding gnat-gps: Project > Edit Project Properties hangs when gprbuild is absent to be marked as done.
This means that you claim that the problem has been dealt with. If this is not the case it is now your responsibility to reopen the Bug report if necessary, and/or fix the problem forthwith. (NB: If you are a system administrator and have no idea what this message is talking about, this may indicate a serious mail system misconfiguration somewhere. Please contact ow...@bugs.debian.org immediately.) -- 682229: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=682229 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
--- Begin Message ---Package: gnat-gps Version: 5.0-1 Severity: minor In toolchains_editor/core/src/toolchains.adb is a hardcoded call to gprconfig, a program provided by package gprbuild. At the very least, gnat-gps must therefore Recommend: gprbuild. This might be strengthened to a Depends: if gnat-gps fails in a major way when gprbuild is absent. In this latter case the severity of this bug will become (at least) important. This bug has been present since 5.0-1 but I discovered it only now. -- Ludovic Brenta.
--- End Message ---
--- Begin Message ---Source: gnat-gps Source-Version: 5.0-12 We believe that the bug you reported is fixed in the latest version of gnat-gps, which is due to be installed in the Debian FTP archive. A summary of the changes between this version and the previous one is attached. Thank you for reporting the bug, which will now be closed. If you have further comments please address them to 682...@bugs.debian.org, and the maintainer will reopen the bug report if appropriate. Debian distribution maintenance software pp. Ludovic Brenta <lbre...@debian.org> (supplier of updated gnat-gps package) (This message was generated automatically at their request; if you believe that there is a problem with it please contact the archive administrators by mailing ftpmas...@debian.org) -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Fri, 20 Jul 2012 23:33:46 +0200 Source: gnat-gps Binary: gnat-gps gnat-gps-dbg gnat-gps-doc gnat-gps-common Architecture: source amd64 all Version: 5.0-12 Distribution: unstable Urgency: low Maintainer: Ludovic Brenta <lbre...@debian.org> Changed-By: Ludovic Brenta <lbre...@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: 682001 682229 Changes: gnat-gps (5.0-12) unstable; urgency=low . [Nicolas Boulenguez] * debian/patches/gprconfig.patch: new. Properly handle the exception signalling that gprconfig is absent from the $PATH. Closes: #682229. . [Ludovic Brenta] * debian/control: Suggest gprconfig. . [Svante Signell] * debian/patches/hurd-i386.patch: new. Add support for hurd-i386. Closes: #682001. Checksums-Sha1: 30518743c6c6e4f6642b2d60ff2f11b8a9170b99 1836 gnat-gps_5.0-12.dsc ed6c4af80e9fe5f4bd1f07ba972e3f952a685290 57762 gnat-gps_5.0-12.debian.tar.bz2 f9244071dafd90fe41c4f660828e97d7b385905c 7800914 gnat-gps_5.0-12_amd64.deb dcd82763d293805f7b888d3b811a69913e33bf3d 21542014 gnat-gps-dbg_5.0-12_amd64.deb 6058b7a7974433fb01f4c63fd25b398bd8fee62e 9724708 gnat-gps-doc_5.0-12_all.deb 3a34c797afb2acf6acbaa4146fa51fdff694e87e 1625726 gnat-gps-common_5.0-12_all.deb Checksums-Sha256: 3454c886fff0d6c2e8700c109e5938c10eedaa06304af39616d1bdc5987f5710 1836 gnat-gps_5.0-12.dsc 12625b387c94b2d99e2968ef8b9e7efbb97e34c83beac50b52cee896586b0e6e 57762 gnat-gps_5.0-12.debian.tar.bz2 dbaab545f911bfe081846cbb66c222d808603dcb89f4175fa51373457855e953 7800914 gnat-gps_5.0-12_amd64.deb a3a59673ed434256c213066a7696bed7fdc9ba1e9271b4260efb8000d6f74adb 21542014 gnat-gps-dbg_5.0-12_amd64.deb 152f614b83bb6bd786879326f9592f2ff014e9e39a997e2433c4105d61c5e7a1 9724708 gnat-gps-doc_5.0-12_all.deb 8b7765062f2725c5ccaa88490cade82c3fcdb4a74dde3a5721f7f06710d06934 1625726 gnat-gps-common_5.0-12_all.deb Files: 17d20753f94cb511149f4014b016a729 1836 devel optional gnat-gps_5.0-12.dsc aef2826e7935eec6eca24027ceda9f0e 57762 devel optional gnat-gps_5.0-12.debian.tar.bz2 903f02f216418fdca588bb05735c2c98 7800914 devel optional gnat-gps_5.0-12_amd64.deb 86e7eae7125c9e72da1eaf8c446a4df1 21542014 debug extra gnat-gps-dbg_5.0-12_amd64.deb 68dcfe58c3c82f236f507f309a833900 9724708 doc optional gnat-gps-doc_5.0-12_all.deb 24ec2b6745ba6191113f1b8540bc0130 1625726 devel optional gnat-gps-common_5.0-12_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iD8DBQFQCdIPx9kwJZ3/qtQRAr1gAJ45eZlcP94DHCp7Qm9AMg+kbtvs8gCaA0/+ HqCdYT8UU1w2KlcO6cRIdhk= =ykFk -----END PGP SIGNATURE-----
--- End Message ---
