SHA256 (TeXmacs-1.99.9-src.tar.gz) = KfDNFBrIGmL9bR3QSlO1AAg97sqXpeFQ6+9i5JPTJUU=
SIZE (TeXmacs-1.99.9-src.tar.gz) = 30109108
