MD5 (TeXmacs-1.0.6.7-src.tar.gz) = baa7ef9969aeecab9460b2bead7302ae
SHA256 (TeXmacs-1.0.6.7-src.tar.gz) = 6df5520a8a16a00d7dc8973a87a5eade7841b6337ae8e43c70ec3e8ca17fd206
SIZE (TeXmacs-1.0.6.7-src.tar.gz) = 3801955