debian/2.0.0-2

Ralf Treinen

@treinen

261c3062 · install plusins only on dynlinl archs · Feb 13, 2019

alt-ergo Debian release 2.0.0-2