[Updating] gnat-gps (3.1.3-2ubuntu1 [Ubuntu] < 4.0.1-3 [Debian])
* Trying to add gnat-gps...
- http://ftp.debian.org/debian/>
- http://ftp.debian.org/debian/>
- http://ftp.debian.org/debian/>
I: gnat-gps [universe] -> gnat-gps_3.1.3-2ubuntu1 [universe].
I: gnat-gps [universe] -> gnat-gps-doc
gnat-gps (4.0.1-3) unstable; urgency=low
* debian/gps.gpr: revert to -g -O2 -gnatafno -gnatVa and static
elaboration checks.
* patches/series (dynamically-tagged-expressions.patch): disable.
* patches/documentation-path.patch: fix a bug whereby we would look for
shell_commands.xml
