This repo is dead.

Apparently upstream does not want anybody to download the GPL version of EiffelStudio.

$ wget http://ftp.eiffel.com/pub/download/13.11/Eiffel_13.11_gpl_93542-linux-x86-64.tar.bz2
Resolving ftp.eiffel.com (ftp.eiffel.com)... 173.230.158.198
Connecting to ftp.eiffel.com (ftp.eiffel.com)|173.230.158.198|:80...connected.
HTTP request sent, awaiting response... 301 Moved Permanently
Location: https://ftp.eiffel.compub/download/13.11/Eiffel_13.11_gpl_93542-linux-x86-64.tar.bz2
https://ftp.eiffel.compub/download/13.11/Eiffel_13.11_gpl_93542-linux-x86-64.tar.bz2
Resolving ftp.eiffel.compub (ftp.eiffel.compub)... failed: Name or service not known.
wget: unable to resolve host address ‘ftp.eiffel.compub’