ftp.cica.es ftp.cica.es ftp01.priv.cica.es ftp.de.debian.org