SHA256 (TeXmacs-1.0.7.21-src.tar.gz) = 0c945611cd057c4af5f7c2232d19b8129caeef0289fa43a53bab1dabb2d603d2 SIZE (TeXmacs-1.0.7.21-src.tar.gz) = 18712991