MD5 (TeXmacs-1.0.6.9-src.tar.gz) = fde50d2c6a543e63be22534d77de474d
SHA256 (TeXmacs-1.0.6.9-src.tar.gz) = 87472e49639bfd635255df1b0c26aa6b28a80dca0782d782d263f184958a47d7
SIZE (TeXmacs-1.0.6.9-src.tar.gz) = 3840213
