Files fetched: 1 STORED: ftp://ftp.texmacs.org/pub/TeXmacs/targz/TeXmacs-1.0.5.5-src.tar.gz 492bf5f75791c80d64a727767fedb8bc TeXmacs-1.0.5.5-src.tar.gz Size: 2983242 bytes -- Virtually Yours: distfiles.