archive/debian/0.5-1

Stéphane Glondu

@glondu

37478314 · Make fast forward from 0.4-2 · Jul 21, 2023

ocplib-simplex release 0.5-1 for unstable (sid) [dgit]

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