ppx-tools (5.3+4.08.0-1) unstable; urgency=medium

  * New upstream release
  * Update Homepage and debian/watch
  * Update Vcs-*

 -- Stéphane Glondu <glondu@debian.org>  Tue, 05 Nov 2019 13:51:26 +0100

ppx-tools (5.0+4.05.0-1) unstable; urgency=medium

  * New upstream release

 -- Stéphane Glondu <glondu@debian.org>  Fri, 22 Sep 2017 14:59:21 +0200

ppx-tools (5.0+4.02.0-1) unstable; urgency=medium

  * New upstream release
    - remove patches (merged upstream)
  * Update Vcs-*
  * Bump Standards-Version to 3.9.8

 -- Stéphane Glondu <glondu@debian.org>  Wed, 27 Jul 2016 12:36:32 +0200

ppx-tools (0.99.2-4) unstable; urgency=medium

  * Upload to unstable

 -- Stéphane Glondu <glondu@debian.org>  Sun, 11 Oct 2015 20:34:21 +0200

ppx-tools (0.99.2-3) experimental; urgency=medium

  * Fix FTBFS on ppc64el

 -- Stéphane Glondu <glondu@debian.org>  Fri, 27 Mar 2015 13:24:24 +0100

ppx-tools (0.99.2-2) experimental; urgency=medium

  * Add support for bytecode architectures

 -- Stéphane Glondu <glondu@debian.org>  Fri, 27 Mar 2015 10:12:14 +0100

ppx-tools (0.99.2-1) experimental; urgency=low

  * Initial upload (Closes: #779574).

 -- Stéphane Glondu <glondu@debian.org>  Tue, 10 Mar 2015 11:50:49 +0100
