MD5 (TeXmacs-1.0.7.3-src.tar.gz) = dd7886153661c39e9dc350afec5050a8
SHA256 (TeXmacs-1.0.7.3-src.tar.gz) = e0f1cf78d478477342a0e3ade1539f612ef09c07b51bc35fcbc952a492c7d013
SIZE (TeXmacs-1.0.7.3-src.tar.gz) = 5269302