5a821eeef8a2dff302f008f326c7d8a0e483ab51d3341fbd7a028d9aa724ffeb  download/TeXmacs-1.0.7.18-src.tar.gz
