MD5 44c227be5a61cbca53cf59e0b957ba25 TeXmacs-1.0.4.3-src.tar.gz 2626939
MD5 945dfd3f76b20082aeea8131d87a260f TeXmacs-600dpi-fonts.tar.gz 2899193