ppx-here (0.16.0-1) unstable; urgency=medium

  * Team upload.
  * Fix d/watch.
  * New upstream release.
  * Bump standards-version to 4.6.2.

 -- Julien Puydt <jpuydt@debian.org>  Mon, 03 Jul 2023 11:24:00 +0200

ppx-here (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:52:46 +0100

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

  * New upstream release
  * Bump debhelper compat level to 13

 -- Stéphane Glondu <glondu@debian.org>  Wed, 29 Jul 2020 10:58:21 +0200

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

  * Initial release (Closes: #951240)

 -- Stéphane Glondu <glondu@debian.org>  Thu, 13 Feb 2020 05:01:46 +0100
