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

alt-ergo (2.0.0-1) unstable; urgency=medium

    The graphical interface has been restored.

 -- Ralf Treinen <treinen@debian.org>  Wed, 13 Feb 2019 20:34:56 +0100