archive/debian/5.2.1-4

Stéphane Glondu

@glondu

885e149a · Declare fast forward from 5.2.1-3 · Aug 06, 2023

ppx-deriving release 5.2.1-4 for unstable (sid) [dgit]

[dgit distro=debian split --quilt=gbp]