MD5 7b0a3896fd17cf2e993aa77d15bb6240 TeXmacs-1.0.6-src.tar.gz 3617687
RMD160 c7825cd81eee2f76864ae6559fecb2e8ac45ebd5 TeXmacs-1.0.6-src.tar.gz 3617687
SHA256 27734426db5f678a122eb765299e4050361bb59e15b5705b2e8eafef48d0bc16 TeXmacs-1.0.6-src.tar.gz 3617687
MD5 945dfd3f76b20082aeea8131d87a260f TeXmacs-600dpi-fonts.tar.gz 2899193
RMD160 b5a27a59ed0c178f94836b828d12d3534b506582 TeXmacs-600dpi-fonts.tar.gz 2899193
SHA256 e8eeb3c97a1405fd037b0567f683a6d2225d47c7829893b9768bd6c1c707cc81 TeXmacs-600dpi-fonts.tar.gz 2899193