Any progress made on getting Eiffel 6.1 GPL into Debian? https://www2.eiffel.com/download/ -- Kristian Erik Hermansen "Know something about everything and everything about something."