ppx-compare (0.14.0-1) unstable; urgency=medium

  * New upstream release
  * Bump debhelper compat level to 13

 -- Stéphane Glondu <glondu@debian.org>  Sun, 26 Jul 2020 08:50:50 +0200

ppx-compare (0.13.0-1) unstable; urgency=medium

  * Initial release (Closes: #949961)

 -- Stéphane Glondu <glondu@debian.org>  Mon, 27 Jan 2020 18:43:24 +0100
