ppx-bin-prot (0.14.0-1) unstable; urgency=medium

  * New upstream release
  * Bump debhelper compat level to 13

 -- Stéphane Glondu <glondu@debian.org>  Fri, 31 Jul 2020 09:53:00 +0200

ppx-bin-prot (0.13.0-1) unstable; urgency=medium

  * Initial release (Closes: #951238)

 -- Stéphane Glondu <glondu@debian.org>  Thu, 02 Apr 2020 14:00:22 +0200