MD5 (TeXmacs-1.0.6.14-src.tar.gz) = cf6e5e5f3858ca91ed44fe6475e37f4b
SHA256 (TeXmacs-1.0.6.14-src.tar.gz) = 6912e66665fc8f0be3510930a280f407ef29959765b5caa89cc93886df3eee1c
SIZE (TeXmacs-1.0.6.14-src.tar.gz) = 4313953