Files fetched: 1 STORED: ftp://ftp.texmacs.org/pub/TeXmacs/targz/TeXmacs-1.0.6.1-src.tar.gz 7bd4c93ef5204a8a27c064298869574e TeXmacs-1.0.6.1-src.tar.gz Size: 3759921 bytes -- Virtually Yours: distfiles.