archive/debian/6.0.2-1

Stéphane Glondu

@glondu

c5fe44eb · Make fast forward from 5.2.1-4 · Jun 03, 2024

ppx-deriving release 6.0.2-1 for unstable (sid) [dgit]

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