Yes. Not just a DNS problem, though.

When it did resolve, I noted the IP. 80.248.164.237. I tried fetching a package by http using wget, from my N900 over the 3G and from a server in a UK data centre. Neither was able to establish a http connection. So there's a HTTP problem too, unless that IP was to the old server.

(I have no idea if it would have been possible to mitigate the problems, revert to the old server quickly, or hide the DNS transition by reducing TTL and forwarding requests between servers, due to Akamai's involvement which no doubt complicates things.)