MD5 (TeXmacs-1.0.6.11-src.tar.gz) = c05875cf7ae502578d50e07709cab9e1
SHA256 (TeXmacs-1.0.6.11-src.tar.gz) = d3a347944446ee2e916143bd494e14328482379f3dc3db8801a8cb3a07ca47a8
SIZE (TeXmacs-1.0.6.11-src.tar.gz) = 4218252