It looks like SmartEiffel is almost unmaintained in Debian too, have you talked to the Debian maintainer about this?
It looks like SmartEiffel is almost unmaintained in Debian too, have you
talked to the Debian maintainer about this?