archive/debian/8.19.1-2
Stéphane Glondu
@glondu
8c5a9bc0
·
Declare fast forward from 8.19.1-1
·
Jun 18, 2024
Unverified
coq-doc release 8.19.1-2 for unstable (sid) [dgit] [dgit distro=debian split --quilt=gbp]
