ppx-derivers (1.2-1) unstable; urgency=medium

  * Initial package (closes: #878803)

 -- Ralf Treinen <treinen@debian.org>  Mon, 05 Mar 2018 22:04:35 +0100

