MD5 09d86d4b8b08baf28303434b72cb8589 TeXmacs-1.0.5.6-src.tar.gz 2994800
RMD160 69a57882a34d206827538b09d7de4fc099062232 TeXmacs-1.0.5.6-src.tar.gz 2994800
SHA256 808ecfdaf35b7f13c20568bad3dea6bd5005cd1b14a96cddcc83e91dcd668354 TeXmacs-1.0.5.6-src.tar.gz 2994800
MD5 945dfd3f76b20082aeea8131d87a260f TeXmacs-600dpi-fonts.tar.gz 2899193
RMD160 b5a27a59ed0c178f94836b828d12d3534b506582 TeXmacs-600dpi-fonts.tar.gz 2899193
SHA256 e8eeb3c97a1405fd037b0567f683a6d2225d47c7829893b9768bd6c1c707cc81 TeXmacs-600dpi-fonts.tar.gz 2899193