Skip to content
debian/8.19.0+0.19.3-4
Stéphane Glondu's avatar
Stéphane Glondu
@glondu
a1594e6b · Prepare upload to unstable ·
Unverified 
coq-serapi release 8.19.0+0.19.3-4 for unstable (sid)

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

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