archive/debian/1.4+8.19-2

Stéphane Glondu

@glondu

53d40fad · Declare fast forward from 1.4+8.19-1 · Aug 04, 2024

coq-mtac2 release 1.4+8.19-2 for unstable (sid) [dgit]

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