5cdd9ea143657e8801d50b9dcc97c510  TeXmacs-1.0.6.12-src.tar.gz