archive/debian/2.0.0-4

Stéphane Glondu

@glondu

9f438813 · Declare fast forward from 2.0.0-3 · Jul 31, 2019

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

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