SHA256 (TeXmacs-1.99.4-src.tar.gz) = 2a307c9c44888ada7fb134181eeb7e501d56a95951bb7fe3a18bd9d03a901afd
SIZE (TeXmacs-1.99.4-src.tar.gz) = 22759245