SHA256 (TeXmacs-1.99.18-src.tar.gz) = sYgjPUiTFlgVLk+sNdZb1Ew+oZ/ocZCkCoIAwR93g0Y=
SIZE (TeXmacs-1.99.18-src.tar.gz) = 37178348
