archive/debian/1.3.1-3

Stéphane Glondu

@glondu

08e57e0f · Declare fast forward from 1.3.1-2 · Aug 16, 2020

why3 release 1.3.1-3 for unstable (sid) [dgit]

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