Skip to content
debian/0.12.1-2
Stéphane Glondu's avatar
Stéphane Glondu
@glondu
86dd3057 · Prepare upload to unstable ·
Unverified 
coq-ext-lib release 0.12.1-2 for unstable (sid)

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

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