archive/debian/8.19-2

Stéphane Glondu

@glondu

f809da62 · Prepare upload to unstable · Aug 04, 2024

coqprime release 8.19-2 for unstable (sid) [dgit]

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