MD5 6f2a65e4c643a98fadbe6ee3cd5c5cb4 TeXmacs-1.0.4-R3-src.tar.gz 2456451
RMD160 e2ab64cbba94a76de96aa11a4cc4cea4c5225198 TeXmacs-1.0.4-R3-src.tar.gz 2456451
SHA256 f31181440f217163ff1fbd356464274e0c5d6db3bc340f910d93f770aa641d2b TeXmacs-1.0.4-R3-src.tar.gz 2456451
MD5 945dfd3f76b20082aeea8131d87a260f TeXmacs-600dpi-fonts.tar.gz 2899193
RMD160 b5a27a59ed0c178f94836b828d12d3534b506582 TeXmacs-600dpi-fonts.tar.gz 2899193
SHA256 e8eeb3c97a1405fd037b0567f683a6d2225d47c7829893b9768bd6c1c707cc81 TeXmacs-600dpi-fonts.tar.gz 2899193