diff options
Diffstat (limited to 'debian/changelog')
-rw-r--r-- | debian/changelog | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/debian/changelog b/debian/changelog index 33ad910..f869c76 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,13 @@ +xstrp4 (1.8.2-3) unstable; urgency=medium + + * Team upload + * Recompile with OCaml 4.11.1 + * Bump debhelper compat level to 13 + * Bump Standards-Version to 4.5.0 + * Add Rules-Requires-Root: no + + -- Stéphane Glondu <glondu@debian.org> Wed, 14 Oct 2020 13:45:59 +0200 + xstrp4 (1.8.2-2) unstable; urgency=medium * Team upload |