Packages.osrfoundation.org down?

5

This is still unreachable for me (from Europe).
Maybe it’s just a matter of DNS records to propagate?