ppx-compare (0.15.0-1) unstable; urgency=low

  [ Stéphane Glondu ]
  * New upstream release

  [ Debian Janitor ]
  * Set upstream metadata fields: Bug-Database, Bug-Submit, Repository,
    Repository-Browse.

 -- Stéphane Glondu <glondu@debian.org>  Wed, 01 Feb 2023 12:48:10 +0100

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
