MD5 fde50d2c6a543e63be22534d77de474d TeXmacs-1.0.6.9-src.tar.gz 3840213 RMD160 506f65b65a934f94737e4d190cc8317e74622f38 TeXmacs-1.0.6.9-src.tar.gz 3840213 SHA256 87472e49639bfd635255df1b0c26aa6b28a80dca0782d782d263f184958a47d7 TeXmacs-1.0.6.9-src.tar.gz 3840213 MD5 945dfd3f76b20082aeea8131d87a260f TeXmacs-600dpi-fonts.tar.gz 2899193 RMD160 b5a27a59ed0c178f94836b828d12d3534b506582 TeXmacs-600dpi-fonts.tar.gz 2899193 SHA256 e8eeb3c97a1405fd037b0567f683a6d2225d47c7829893b9768bd6c1c707cc81 TeXmacs-600dpi-fonts.tar.gz 2899193