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

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