MD5 (TeXmacs-0.3.5.8-src.tar.gz) = 15577500451e21e605a40f546bd12c89
MD5 (TeXmacs-600dpi-fonts.tar.gz) = 945dfd3f76b20082aeea8131d87a260f