ppx-tools (5.0+4.05.0-1) unstable; urgency=medium * New upstream release -- Stéphane Glondu Fri, 22 Sep 2017 14:59:21 +0200 ppx-tools (5.0+4.02.0-1) unstable; urgency=medium * New upstream release - remove patches (merged upstream) * Update Vcs-* * Bump Standards-Version to 3.9.8 -- Stéphane Glondu Wed, 27 Jul 2016 12:36:32 +0200 ppx-tools (0.99.2-4) unstable; urgency=medium * Upload to unstable -- Stéphane Glondu Sun, 11 Oct 2015 20:34:21 +0200 ppx-tools (0.99.2-3) experimental; urgency=medium * Fix FTBFS on ppc64el -- Stéphane Glondu Fri, 27 Mar 2015 13:24:24 +0100 ppx-tools (0.99.2-2) experimental; urgency=medium * Add support for bytecode architectures -- Stéphane Glondu Fri, 27 Mar 2015 10:12:14 +0100 ppx-tools (0.99.2-1) experimental; urgency=low * Initial upload (Closes: #779574). -- Stéphane Glondu Tue, 10 Mar 2015 11:50:49 +0100