Skip to content
archive/debian/8.9.1-1
Stéphane Glondu's avatar
Stéphane Glondu
@glondu
3adccc4d · Declare fast forward from 8.9.0-1 ·
Unverified 
coq release 8.9.1-1 for unstable (sid) [dgit]

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