archive/debian/0.5-4

Stéphane Glondu

@glondu

2ab20c39 · Make fast forward from 0.5-3 · Sep 02, 2023

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

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