MD5 (TeXmacs-1.0-src.tar.gz) = 3b8d31a82f3729624ad7c969202e68f7
MD5 (TeXmacs-600dpi-fonts.tar.gz) = 945dfd3f76b20082aeea8131d87a260f