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

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