archive/debian/8.19-2

Stéphane Glondu

@glondu

20ee0494 · Declare fast forward from 8.19-1 · Aug 03, 2024

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

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