Skip to content
debian/1.0+8.19-2
Stéphane Glondu's avatar
Stéphane Glondu
@glondu
1d6de6c5 · Prepare upload to unstable ·
Unverified 
coq-dpdgraph release 1.0+8.19-2 for unstable (sid)

(maintainer view tag generated by dgit --quilt=gbp)

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