ppxlib (0.15.0-1) unstable; urgency=medium

  * New upstream release

 -- Stéphane Glondu <glondu@debian.org>  Sun, 08 Nov 2020 04:19:05 +0100

ppxlib (0.14.0-1) unstable; urgency=medium

  * New upstream release
  * Bump debhelper compat level to 13
  * Bump Standards-Version to 4.5.0

 -- Stéphane Glondu <glondu@debian.org>  Sat, 25 Jul 2020 14:30:18 +0200

ppxlib (0.12.0-1) unstable; urgency=medium

  * New upstream release
  * Bump Standards-Version to 4.4.1
  * Add Rules-Requires-Root: no

 -- Stéphane Glondu <glondu@debian.org>  Mon, 13 Jan 2020 16:51:12 +0100

ppxlib (0.8.1-1) unstable; urgency=medium

  * Initial release (Closes: #934890)

 -- Stéphane Glondu <glondu@debian.org>  Wed, 28 Aug 2019 07:06:35 +0200
