diff -Nru ppxlib-0.27.0/debian/changelog ppxlib-0.27.0/debian/changelog --- ppxlib-0.27.0/debian/changelog 2022-10-11 18:56:20.000000000 +0000 +++ ppxlib-0.27.0/debian/changelog 2022-11-24 13:05:01.000000000 +0000 @@ -1,3 +1,9 @@ +ppxlib (0.27.0-2build1) lunar; urgency=medium + + * Rebuild against new OCAML ABI. + + -- Gianfranco Costamagna Thu, 24 Nov 2022 14:05:01 +0100 + ppxlib (0.27.0-2) unstable; urgency=medium * Bump deb-version to get around numbering issue.