Skip to content
archive/debian/0.1.5-5
Stéphane Glondu's avatar
Stéphane Glondu
@glondu
e6e3a6fd · Declare fast forward from 0.1.5-4 ·
Unverified 
coq-reduction-effects release 0.1.5-5 for unstable (sid) [dgit]

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