When grabbing the gazebo.key file, I get timeouts.
$ wget http://packages.osrfoundation.org/gazebo.key -O gazebo.key
--2018-06-12 13:16:55-- http://packages.osrfoundation.org/gazebo.key
Resolving packages.osrfoundation.org (packages.osrfoundation.org)... 54.193.183.180
Connecting to packages.osrfoundation.org (packages.osrfoundation.org)|54.193.183.180|:80... failed:
Connection refused.
It is down yes, problems with the infrastructure. I’ll post as soon as we get it back.
Sorry for the inconvenience.
1 Like
it should be back now. Any problem, please let us know.
1 Like
@jrivero Could https://status.ros.org be updated in such cases as well? Would be helpful, perhaps?
This is still unreachable for me (from Europe).
Maybe it’s just a matter of DNS records to propagate?
nslookup
is giving an IP address now (as in from just a few minutes ago). But the server serves a 403, access denied on /