Packages.osrfoundation.org down?

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 /