MD5 (TeXmacs-1.0.6.2-src.tar.gz) = 9f38c2a547b9508b7b263eaf12b2ed97 SHA256 (TeXmacs-1.0.6.2-src.tar.gz) = 2a54952afa9393e227b7812ecee5d4ebb3017da4f9f7712217301a47ea0dd100 SIZE (TeXmacs-1.0.6.2-src.tar.gz) = 3739356