[PlanetCCRMA] planetccrma repo down, or...?

[sevol]

Hi All,

I'm getting this info from the CLI:

http://ccrma.stanford.edu/planetccrma/mirror/fedora/linux/releases/13/Everything/x86_64/os/repodata/repomd.xml:
[Errno 14] HTTP Error 404 :
http://ccrma.stanford.edu/planetccrma/mirror/fedora/linux/releases/13/Everything/x86_64/os/repodata/repomd.xml
Trying other mirror.
Error: Cannot retrieve repository metadata (repomd.xml) for
repository: planetos. Please verify its path and try again

After a few tries & the same, is this a temporary malfunction? Anyone
else recieving this response?

                           -s