alt-ergo (1.30+dfsg1-2) unstable; urgency=medium

    The graphical interactive interface was dropped from the alt-ergo
    package since building it requires an obsolete library.

 -- Ralf Treinen <treinen@debian.org>  Tue, 13 Nov 2018 20:38:32 +0100
