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
