Source: gnat-gps Followup-For: Bug #700151 Control: severity -1 minor Hello.
Gnat-gps-5.0 and gdb-7.3 do not coexist happily, see #659166. If an user installs the gnat-gps graphical IDE and ignores that Recommends dependencies may be circumvented, (s)he will probably not use another GDB front-end, so the safest behaviour is using the compatible gdb-minimal, even if the GDB must be removed. However, I let this bug open as a convenient reminder that your change should be applied as soon as a compatible combination of both packages is reported. This will also makes this explanation easyer to find. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
