Skip to content
archive/debian/8.19.1+dfsg-3
Stéphane Glondu's avatar
Stéphane Glondu
@glondu
3c520cb9 · Make fast forward from 8.19.1+dfsg-2 ·
Unverified 
coq release 8.19.1+dfsg-3 for unstable (sid) [dgit]

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