Host bigdog2
    Hostname 8.8.197.72
    HostKeyAlias bigdog2

Host bigdog6
    Hostname 8.8.197.72
    Port 2222
    HostKeyAlias bigdog6

Host bigdog-vm1
    Hostname 8.8.197.72
    Port 3001
    HostKeyAlias bigdog-vm1

Host bigdog-vm2
    Hostname 8.8.197.72
    Port 2226
    HostKeyAlias bigdog-vm2

Host snake
    HostName snake.cs.uni-duesseldorf.de
    User pypy

Host wyvern 
    HostName wyvern.cs.uni-duesseldorf.de
    Port 922

Host cobra
    HostName cobra.cs.uni-duesseldorf.de
    Port 922

Host tuatara 
    HostName tuatara.cs.uni-duesseldorf.de

Host t20
    Hostname t20.pypy.org

Host Maemo 
    Hostname codespeak.net
    Port 2222

Host tannit
    Hostname 83.140.78.199