-
gnat-gps (5.3-4ubuntu1) utopic; urgency=medium
* gnat-gps: Recommend gdb | gdb-minimal.
-- Matthias Klose <email address hidden> Wed, 15 Oct 2014 15:45:19 +0200
-
gnat-gps (5.3-3) unstable; urgency=medium
* Build with xmlada5-dev, templates-parser-11.8.2015-dev. Closes: #757620.
* Let -doc Recommend current version of the ada-reference-manual.
* Use dh_sphinxdoc and dh_linktrees to avoid embedding javascript libraries.
* Uploaders: update Xavier's email.
* Manual page for gnatinspect.
* Standards-Version: 3.9.5 (no changes).
* -doc: lintian override for false positive (extra-license-file).
-- Nicolas Boulenguez <email address hidden> Tue, 19 Aug 2014 07:13:26 +0200
-
gnat-gps (5.3-2.2) unstable; urgency=medium
* Non-maintainer upload.
* Build-depend on texlive-latex-extra. Closes: #755311.
-- Matthias Klose <email address hidden> Tue, 05 Aug 2014 00:38:40 +0200
-
gnat-gps (5.3-2.1) unstable; urgency=medium
* Non-maintainer upload.
* Build-depend on texlive-latex-recommended. Closes: #755311.
-- Matthias Klose <email address hidden> Tue, 05 Aug 2014 00:38:40 +0200
-
gnat-gps (5.3-2) unstable; urgency=low
* debian/gnat-gps-doc.install: install images in only one place.
* debian/gnat-gps-doc.doc-base.*: adjust to upstream changes i.e. no
text format anymore. Closes: #754069.
* debian/build_gps.gpr: do not work around compiler bug #642981 which
has been fixed since gnat-4.8.
* debian/build_gnatinspect.gpr, debian/rules: build gnatinspect too.
* debian/gnat-gps.install: install it. Closes: #754320.
* debian/control (Build-Depends): add libreadline-dev, needed by
gnatinspect.
-- Ludovic Brenta <email address hidden> Thu, 10 Jul 2014 20:19:26 +0200
-
gnat-gps (5.3-1) unstable; urgency=medium
[Nicolas Boulenguez]
* New upstream snapshot (Subversion revision 212731 of 2013-07-10),
chosen because it precedes the switch to GtkAda 3.x;
built with gnat 4.9, xmlada 4.4.0puregpl, templates-parser
11.8.2014. gtkada 2.24.4. License update GPL-2+ -> GPL-3+.
[Ludovic Brenta]
* Refresh patches.
* debian/rules (.../config.ads.in): adjust to new upstream release.
(DIRS_WITH_C_SOURCES): ditto.
(override_dh_auto_build-indep): Do not build Info manuals anymore;
they have been abandoned upstream.
* debian/build_gps.gpr: s/gtkada2/gtkada/ and adjust directories.
* debian/patches/gnat-4.9.patch: new.
* debian/control (Build-Depends): add libsqlite3-dev.
(Build-Depends-Indep): add python-sphinx (to generate the doc) and
graphviz (to generate graphs in the doc).
* debian/gnat-gps-{common,doc}.install: adjust to upstream changes.
-- Ludovic Brenta <email address hidden> Mon, 7 Jul 2014 00:18:29 +0200
-
gnat-gps (5.0-16) unstable; urgency=low
* rules: simplified using debhelper 9.
Link C objects directly, without intermediate static archive.
Add missing substitutions in config.ads.
* patches: refreshed without timestamps.
* copyright, patches/texinfo: GPL-2+ instead of GNU GFDL. Closes: #708932.
* lintian-overrides: a patch removing a non DFSG license must contain it
* install all documentation in a single /usr/share/doc/gnat-gps directory.
* Revert to parallel build. Timeout is more frequent than RAM exhaustion.
-- Nicolas Boulenguez <email address hidden> Thu, 18 Jul 2013 00:55:58 +0200
