MD5 baa7ef9969aeecab9460b2bead7302ae TeXmacs-1.0.6.7-src.tar.gz 3801955 RMD160 0dd5d1a71dcdaa7404e9cddc29c2e34e3685e9d0 TeXmacs-1.0.6.7-src.tar.gz 3801955 SHA256 6df5520a8a16a00d7dc8973a87a5eade7841b6337ae8e43c70ec3e8ca17fd206 TeXmacs-1.0.6.7-src.tar.gz 3801955 MD5 945dfd3f76b20082aeea8131d87a260f TeXmacs-600dpi-fonts.tar.gz 2899193 RMD160 b5a27a59ed0c178f94836b828d12d3534b506582 TeXmacs-600dpi-fonts.tar.gz 2899193 SHA256 e8eeb3c97a1405fd037b0567f683a6d2225d47c7829893b9768bd6c1c707cc81 TeXmacs-600dpi-fonts.tar.gz 2899193