SHA256 (TeXmacs-1.99.4-src.tar.gz) = KjB8nESIitp/sTQYHut+UB1WqVlRu3/joYvZ0DqQGv0=
SIZE (TeXmacs-1.99.4-src.tar.gz) = 22759245
