gnat-gps 4.0.1-3 source package in Ubuntu

Changelog

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 in the wrong directory.  This in turn fixes the
    Help menu.
  * patches/memory-corruption.patch: new.  Addresses: #400876, #400883,
    but does not close them yet because I think the underlying memory
    corruption bug is still lurking somewhere.
  
gnat-gps (4.0.1-2) unstable; urgency=medium
  
  * debian/rules: install all the XML files that describe parts of the
    GUI.  Closes: #393636, insofar as I no longer see the crashes I
    described there.

gnat-gps (4.0.1-1) unstable; urgency=low
  
  * New upstream version.
  * patches/gtkada-2.8.1.patch: new.

gnat-gps (4.0.0-1) unstable; urgency=low

  * New upstream version.
  * patches/gcc-4.1.patch: new.
  * patches/elaboration.patch: adjust for 4.0.0.
  * debian/rules (config.ads): replace the build date with "Debian".
    (binary-arch): adjust for images removed in this new version.

gnat-gps (3.1.3-5) unstable; urgency=low
  
  * patches/elaboration.patch: new, a step in resolving #393636.

gnat-gps (3.1.3-4) unstable; urgency=low
  
  * debian/control (Build-Depends): add debhelper and quilt.

gnat-gps (3.1.3-3) unstable; urgency=low
  
  * debian/control (Build-Depends-Indep): new; move some build dependencies
    there from Build-Depends.  Add tetex-extra (Closes: #392375).
    (Build-Depends): remove libxmlada2-dev.
  * patches/texinfo.patch: fix the info-dir-section of the tutorial
    (Closes: #391972).  Also, change the name of the info file to
    gps_tutorial.info, to prevent conflicts with other packages.

 -- Matthias Klose <email address hidden>   Mon,  11 Dec 2006 10:34:52 +0000