MD5 8b28493710b4664587f4108d0eb6bf12 TeXmacs-1.0.4.7-src.tar.gz 2887948
MD5 945dfd3f76b20082aeea8131d87a260f TeXmacs-600dpi-fonts.tar.gz 2899193