SHA256 (TeXmacs-1.99.12-src.tar.gz) = 5D2oSdXDdw99T3rZrGNnq0F0od+D8336QfjwDx628UI=
SIZE (TeXmacs-1.99.12-src.tar.gz) = 35119781
