archive/debian/8.19.0+0.19.3-4

Stéphane Glondu

@glondu

1406b77a · Declare fast forward from 8.19.0+0.19.3-3 · Aug 04, 2024

coq-serapi release 8.19.0+0.19.3-4 for unstable (sid) [dgit]

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