archive/debian/8.17.1-1
Stéphane Glondu
@glondu
d09b0a11
·
Declare fast forward from 8.16.1-1
·
Aug 12, 2023
Unverified
coq-doc release 8.17.1-1 for unstable (sid) [dgit] [dgit distro=debian split --quilt=gbp]
