archive/debian/1.7.2-2

Stéphane Glondu

@glondu

0b5f26f0 · Declare fast forward from 1.7.2-1 · Aug 13, 2024

why3 release 1.7.2-2 for unstable (sid) [dgit]

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