MD5 6f2a65e4c643a98fadbe6ee3cd5c5cb4 TeXmacs-1.0.4-R3-src.tar.gz 2456451
MD5 945dfd3f76b20082aeea8131d87a260f TeXmacs-600dpi-fonts.tar.gz 2899193