libgnatcoll (1.7gpl2015-2) unstable; urgency=medium

  * Revert to python2 as long as most startup scripts in the gnat-gps
    reverse dependency are incompatible with python3. Reopens: #760004.
  * Build-Depend: texlive-generic-extra for iftex.sty. Closes: #830334.
  * Ensure that ./configure and gprbuild use gnatgcc instead of gcc.

 -- Nicolas Boulenguez <nicolas@debian.org>  Fri, 29 Jul 2016 08:05:19 +0200

libgnatcoll (1.7gpl2015-1) unstable; urgency=medium

  * Build with gnat-6 and gprbuild >= 2015-2. Upload to unstable.
  * Switch from manual -dbg packages to automatic -dbgsym packages.
  * Enable all hardening options, but PIE because we build a shared library.
  * Move sphinx-common to Build-Depends-Indep.
  * Standards-Version: 3.9.8 (no changes).

 -- Nicolas Boulenguez <nicolas@debian.org>  Tue, 26 Apr 2016 10:06:03 +0200

libgnatcoll (1.7gpl2015-1~exp1) experimental; urgency=medium

  * New upstream release.
  * Build-Depend gnat-5, rename library and -dev packages per Ada policy.
  * watch: use Adacore uscan redirector.
  * copyright: since Files-Excluded is mandatory for minified javascript,
    also remove generated, copied or unused sources.
  * Transmit -a/-i options to dh-ada-library. Closes: #806628.
  * Select python3 instead of 2. Closes: #760004.
  * Set build flags from ./configure instead of gprbuild.
    Let gprbuild select the right gcc version to mix with Ada.
    Configure only once during arch & indep builds.
  * generate-sources-timestamp.diff: update timestamp only if contents
    changed (for reproducible builds).
  * Standards-Version: 3.9.7.

 -- Nicolas Boulenguez <nicolas@debian.org>  Sat, 27 Feb 2016 14:34:24 +0100

libgnatcoll (1.6gpl2014-9) unstable; urgency=medium

  * patches/explicit-source-dirs-in-projects.diff closes: #802862.

 -- Nicolas Boulenguez <nicolas@debian.org>  Sun, 25 Oct 2015 19:34:08 +0100

libgnatcoll (1.6gpl2014-8) unstable; urgency=medium

  * Mix gnat-4.9 with gcc-4.9 instead of default gcc-5. Closes: #777946.
  * (XS-)Testsuite: now generated by dpkg-source.

 -- Nicolas Boulenguez <nicolas@debian.org>  Tue, 08 Sep 2015 00:45:05 +0200

libgnatcoll (1.6gpl2014-7) unstable; urgency=medium

  * Touch generated sources for deterministic ALI files and tar headers.
    Freeze the clock for deterministic PDF timestamps.

 -- Nicolas Boulenguez <nicolas@debian.org>  Sun, 03 May 2015 17:31:48 +0200

libgnatcoll (1.6gpl2014-6) unstable; urgency=medium

  * Section: move source to misc and -dev to libdevel, as do ftpmasters.
  * Priority: raise run-time libraries and -bin to optional, to allow
    optional reverse dependencies (gnat-gps, asis-programs).

 -- Nicolas Boulenguez <nicolas@debian.org>  Mon, 06 Oct 2014 23:14:53 +0200

libgnatcoll (1.6gpl2014-5) unstable; urgency=medium

  * Drop PostGreSQL support, which depends on OpenSSL and is thus
    incompatible with the GPL. Closes: #763284.
  * Standards-Version: 3.9.6 without changes.

 -- Nicolas Boulenguez <nicolas@debian.org>  Sat, 04 Oct 2014 13:51:20 +0200

libgnatcoll (1.6gpl2014-4) unstable; urgency=medium

  * Link with pthread to circumvent compiler bug #760211.

 -- Nicolas Boulenguez <nicolas@debian.org>  Tue, 02 Sep 2014 00:01:38 +0200

libgnatcoll (1.6gpl2014-3) unstable; urgency=medium

  * Break/Replace gnat-gps << 5.3-4, previous provider of gnatinspect.
  * copyright: explain why some headers contain the GPL-2+.
  * Let libgnatcoll-dev Depends: libgnatgpr-dev (via ada:Depends).
  * Drop redundant Build-Depends-Indep: sphinx-common.

 -- Nicolas Boulenguez <nicolas@debian.org>  Sat, 30 Aug 2014 20:42:35 +0200

libgnatcoll (1.6gpl2014-2) unstable; urgency=medium

  * Build-Depend: sphinx-common. dh_sphinxdoc is needed during -arch rebuilds.

 -- Nicolas Boulenguez <nicolas@debian.org>  Thu, 14 Aug 2014 06:29:11 +0200

libgnatcoll (1.6gpl2014-1) unstable; urgency=medium

  * Initial packaging. Closes: #757309.
    GPL 2014 is between 1.6 and 1.7 commercial releases.
    Upstream archive is repackaged without minified javascript.

 -- Nicolas Boulenguez <nicolas@debian.org>  Sun, 10 Aug 2014 03:35:11 +0200
