MD5 b5444b739812af707be3516aa6aa487d TeXmacs-1.0.3.3-src.tar.gz 2393415
MD5 945dfd3f76b20082aeea8131d87a260f TeXmacs-600dpi-fonts.tar.gz 2899193