Skip to content
archive/debian/1.8.1-1
Stéphane Glondu's avatar
Stéphane Glondu
@glondu
56182a40 · Make fast forward from 1.8.0-2 ·
Unverified 
why3 release 1.8.1-1 for unstable (sid) [dgit]

[dgit distro=debian split --quilt=gbp]
[dgit split-maint-view-tag=370fafc897b9f792db00337d8e6d1499ace26072]