diff options
Diffstat (limited to 'debian/changelog')
-rw-r--r-- | debian/changelog | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/debian/changelog b/debian/changelog index ddef946..2bd6b0b 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,11 @@ +ppx-derivers (1.2.1-4) UNRELEASED; urgency=medium + + * Bump debhelper compat level to 13 + * Add Rules-Requires-Root: no + * Bump Standards-Version to 4.6.2 + + -- Stéphane Glondu <glondu@debian.org> Wed, 16 Aug 2023 09:54:37 +0200 + ppx-derivers (1.2.1-3) unstable; urgency=medium * Team upload |