curry-tools (1.0.1+dfsg1-2) unstable; urgency=medium

  * debian/rules:
    + Use tar --sort=name and --mode= option to make tarring reproducible.
  * debian/control:
    + Versioned B-D on tar (>= 1.28).
  * debian/patches: Cherry-pick recent work from upstream.
     +0001-New-analyses-for-termination-and-productivity-of-ope.patch
     +0002-Root-replacement-analysis-corrected-w.r.t.-projectio.patch
     +0003-Productivity-analysis-updated.patch
     +0004-Productivity-analysis-improved.patch
     +0005-Productivity-analysis-slightly-improved-analysis-doc.patch
     +0006-Analysis-documentation-updated.patch
     +0007-Makefiles-changed-so-that-runtest-considers-variable.patch
     +0008-Checking-for-existence-of-sqlite3-binary-added.patch

 -- Mike Gabriel <sunweaver@debian.org>  Tue, 31 Jan 2017 10:28:53 +0100

curry-tools (1.0.1+dfsg1-1) unstable; urgency=medium

  * New upstream release.

 -- Mike Gabriel <sunweaver@debian.org>  Fri, 13 Jan 2017 09:57:08 +0100

curry-tools (1.0.0+dfsg1-1) unstable; urgency=medium

  * Initial release to Debian. (Closes: #840539).

 -- Mike Gabriel <sunweaver@debian.org>  Wed, 19 Oct 2016 14:13:14 +0200
