Files fetched: 1 STORED: ftp://ftp.texmacs.org/pub/TeXmacs/targz/TeXmacs-1.0.6.12-src.tar.gz 5cdd9ea143657e8801d50b9dcc97c510 TeXmacs-1.0.6.12-src.tar.gz Size: 4215464 bytes -- Virtually Yours: distfiles.