MD5 (TeXmacs-1.0.7.2-src.tar.gz) = 4f40bededefc44e8927455efe0358780 SHA256 (TeXmacs-1.0.7.2-src.tar.gz) = 98ca44418f4d4644bdee03add2e2baf18f0839d4d8336189ff4a095329f7a2ba SIZE (TeXmacs-1.0.7.2-src.tar.gz) = 4763348