ppxlib (0.32.0-1) unstable; urgency=medium * New upstream release (Closes: #1015179) -- Stéphane Glondu Thu, 15 Feb 2024 14:08:55 +0100 ppxlib (0.31.0-1) unstable; urgency=medium [ Stéphane Glondu ] * New upstream release * Update debian/watch [ Debian Janitor ] * Set upstream metadata fields -- Stéphane Glondu Sat, 14 Oct 2023 10:29:32 +0200 ppxlib (0.30.0-3) unstable; urgency=medium * Use ocaml_dune DH buildsystem -- Stéphane Glondu Sun, 06 Aug 2023 07:43:01 +0200 ppxlib (0.30.0-2) unstable; urgency=medium * Fix compilation with recent dune. -- Julien Puydt Thu, 06 Jul 2023 12:13:35 +0200 ppxlib (0.30.0-1) unstable; urgency=medium * Team upload. * New upstream release. * Bump standards-version to 4.6.2. -- Julien Puydt Mon, 03 Jul 2023 11:01:18 +0200 ppxlib (0.27.0-2) unstable; urgency=medium * Bump deb-version to get around numbering issue. -- Julien Puydt Tue, 11 Oct 2022 20:56:20 +0200 ppxlib (0.27.0-1) unstable; urgency=medium * New upstream release. * Fix d/watch. * Bump Standards-Version to 4.6.1. -- Julien Puydt Mon, 15 Aug 2022 15:52:46 +0200 ppxlib (0.24.0-1) unstable; urgency=medium * New upstream release * Bump Standards-Version to 4.6.0 * Bump debian/watch version to 4 -- Stéphane Glondu Thu, 20 Jan 2022 16:21:22 +0100 ppxlib (0.15.0-1) unstable; urgency=medium * New upstream release -- Stéphane Glondu Sun, 08 Nov 2020 04:19:05 +0100 ppxlib (0.14.0-1) unstable; urgency=medium * New upstream release * Bump debhelper compat level to 13 * Bump Standards-Version to 4.5.0 -- Stéphane Glondu Sat, 25 Jul 2020 14:30:18 +0200 ppxlib (0.12.0-1) unstable; urgency=medium * New upstream release * Bump Standards-Version to 4.4.1 * Add Rules-Requires-Root: no -- Stéphane Glondu Mon, 13 Jan 2020 16:51:12 +0100 ppxlib (0.8.1-1) unstable; urgency=medium * Initial release (Closes: #934890) -- Stéphane Glondu Wed, 28 Aug 2019 07:06:35 +0200