archive/debian/2.0.0-7

Stéphane Glondu

@glondu

0cd9a686 · Declare fast forward from 2.0.0-6 · Aug 11, 2020

alt-ergo release 2.0.0-7 for unstable (sid) [dgit]

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