Trying to find current version of Artimis board on arduino ide

proxyconnect tcp: dial tcp: lookup _: no such host