ppx-core (113.33.03-1) unstable; urgency=low

  * Initial release (Closes: #832596)

 -- Stéphane Glondu <glondu@debian.org>  Wed, 27 Jul 2016 19:26:26 +0200