Skip to content
debian/1%8.9.0-1
Stéphane Glondu's avatar
Stéphane Glondu
@glondu
e0c5b095 · Remove debian/source/local-options ·
Unverified 
coq-float release 1:8.9.0-1 for unstable (sid)

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

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