SHA256 (TeXmacs-1.99.13-src.tar.gz) = Aq0cS47QqmFQHelxRjANeJlgXCXagnYRykpAq7wHqbQ=
SIZE (TeXmacs-1.99.13-src.tar.gz) = 37181886
