archive/debian/1.3-8.19-2

Stéphane Glondu

@glondu

bfd4b625 · Declare fast forward from 1.3-8.19-1 · Aug 04, 2024

coq-equations release 1.3-8.19-2 for unstable (sid) [dgit]

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