[PlanetCCRMA] PlanetCCRMA mirror at IRCAM

[Fernando Pablo Lopez-Lezcano]

> A mirror of PlanetCCRMA is available at IRCAM, at the following URL:
> http://freesoftware.ircam.fr/mirrors/planetccrma/software/
> 
> It is updated daily, but can be updated more often if necessary.
> 
> François Déchelle

Thanks to Francois and the IRCAM team that made this possible! I'll
update the web page latter today with pointers to this (first?) mirror
and how to configure /etc/apt/sources.list to use it instead of ccrma
(in a nutshell, replace "http://www-ccrma.stanford.edu/planetccrma" with
http://freesoftware.ircam.fr/mirrors/planetccrma"). 

-- Fernando