archive/debian/1.0-15

Stéphane Glondu

@glondu

7133ead3 · Make fast forward from 1.0-14 · Sep 02, 2023

ocamlagrep release 1.0-15 for unstable (sid) [dgit]

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