RMD160 4d83e98072cee30e06119d401cc01c942c4cb5b9 TeXmacs-1.0.6.5-src.tar.gz 3782401
SHA256 f728fe30bcac51d2fb4bda225a60ea63a81dbbbc588d0c223f01809458c75f5c TeXmacs-1.0.6.5-src.tar.gz 3782401
MD5 945dfd3f76b20082aeea8131d87a260f TeXmacs-600dpi-fonts.tar.gz 2899193
RMD160 b5a27a59ed0c178f94836b828d12d3534b506582 TeXmacs-600dpi-fonts.tar.gz 2899193
SHA256 e8eeb3c97a1405fd037b0567f683a6d2225d47c7829893b9768bd6c1c707cc81 TeXmacs-600dpi-fonts.tar.gz 2899193