MD5 (TeXmacs-1.0.6.15-src.tar.gz) = 7f05f8a9b8696efc6dee028938a97d8f
SHA256 (TeXmacs-1.0.6.15-src.tar.gz) = 905c740907739530973d0aaac65f2973de73c29bc2574c4dcda8db230c1ec1ac
SIZE (TeXmacs-1.0.6.15-src.tar.gz) = 4456301