Fixed in 5.0-12
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.
.
** Changed in: gnat-gps (Debian)
Status: Unknown => Fix Released
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/997260
Title:
the package gprbuild is needed
To manage notifications about this
** Bug watch added: Debian Bug tracker #682229
http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=682229
** Also affects: gnat-gps (Debian) via
http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=682229
Importance: Unknown
Status: Unknown
--
You received this bug notification because
Status changed to 'Confirmed' because the bug affects multiple users.
** Changed in: gnat-gps (Ubuntu)
Status: New => Confirmed
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/997260
Title:
th