archive/debian/1.0-13

Stéphane Glondu

@glondu

eb844458 · Declare fast forward from 1.0-12 · Sep 04, 2019

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

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