Files fetched: 1 STORED: http://www.clip.dia.fi.upm.es/Software/Ciao/packages/branches/1.14/13646/CiaoDE-1.14.2-13646.tar.gz 11d0a41222314ae1be1b048a7888048e CiaoDE-1.14.2-13646.tar.gz Size: 5525488 bytes -- Virtually Yours: distfiles.