archive/debian/0.0.2-8

Stéphane Glondu

@glondu

6cea72a9 · Make fast forward from 0.0.2-7 · Oct 14, 2020

ocamlify release 0.0.2-8 for unstable (sid) [dgit]

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