Publishing details

Changelog

gnat-gps (6.1.1-1ubuntu1) yakkety; urgency=medium

  * Merge from Debian unstable.  Remaining changes:
    - debian/control: gnat-gps: Recommend gdb | gdb-minimal.

gnat-gps (6.1.1-1) unstable; urgency=medium

  * New upstream release.
  * Build with gnat-6. Closes: #830379.
    Build-Depends on xmlada_dom gnatcoll_sqlite gprbuild,
    but not on texinfo imagemagick texlive-generic-recommended.
    Move dh-linktree and sphinx-common from Build-Depends to B-D-Indep.
    Depend: python-gi for default GUI.
    Recommend: python-jedi and -pep8 to prevent warnings in default startup.
    Stop Recommending obsolete gprbuild-doc.
  * Use Adacore uscan redirector and Files-Excluded to simplify updates.
  * New executables: gnatdoc (formerly docgen) gnatspark gps_cli.
  * docs in PDF and HTML formats thanks to sphinxdoc.
    Build-Depend: texlive-generic-extra for iftex.sty. Closes: #829676.
    Move docs/gps-welcome.html from -doc to -common, as gnat-gps requires it.
  * Freeze the clock for deterministic PDF timestamps.
  * Standards-Version: 3.9.8: replace menu file with desktop file.
  * Replace manual -dbg packages with automatic -dbgsym packages.
  * Enable all hardening options.

 -- Matthias Klose <email address hidden>  Fri, 05 Aug 2016 10:32:37 +0200

Available diffs

Builds

Package files