Publishing details


gnat-gps (6.1.2016-1ubuntu1) artful; urgency=low

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

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

  * New upstream release GPL-2016.
    Disable new CLang module because it causes a link failure.
  * New files with the Expat license.
  * Build against latest gnatcoll, gtkada, templates-parser, xmlada.
    Replace libgnatprj, removed from GCC, with gpr from gprbuild.
    Patches to use Debian versions of gnatcoll and gpr.
  * Build-Depend: gnatcoll-xref (new), latexmk (for sphinx PDF module),
    texlive-plain-generic (renaming).
  * Update icon reference in desktop file. Closes: #855649.
  * Prettier watch file with version 4 format.
  * Debhelper 10.
  * PDFLaTeX now deals with SOURCE_DATE_EPOCH without faketime.
  * Standards-Version: 4.1.0.
    HTTPS copyright format URL. Allow DEB_BUILD_OPTIONS=nodoc
  * Update Vcs-Mtn URL.
  * Drop obsolete preinst scripts, 5.0-13 not in oldstable anymore.
  * Disable sphinx parallelism because of #869098.
  * Fix various typos or file permissions.

 -- Gianfranco Costamagna <email address hidden>  Sat, 02 Sep 2017 00:02:08 +0200

Available diffs


Built packages

Package files