SHA256 (TeXmacs-1.0.7.14-src.tar.gz) = c19a49ea35f0e3c83fafa3c81e87e2d955d9cf4f297672eeaa557274a1ab95ae SIZE (TeXmacs-1.0.7.14-src.tar.gz) = 14963486