MD5 (TeXmacs-1.0.6-src.tar.gz) = 7b0a3896fd17cf2e993aa77d15bb6240
SHA256 (TeXmacs-1.0.6-src.tar.gz) = 27734426db5f678a122eb765299e4050361bb59e15b5705b2e8eafef48d0bc16
SIZE (TeXmacs-1.0.6-src.tar.gz) = 3617687