[ITA] TeXmacs-1.0.7.15-1

[marco atzeri]

As Andreas Seidl seems missing,
I just built the latest version reusing Yaakov scripts

including a  patch for
https://savannah.gnu.org/bugs/?36033

to download
wget -r -np -nH --cut-dirs=2 \
http://matzeri.altervista.org/cygwin-1.7/TeXmacs/index.html

rm index.html md5.sum

file list:

setup.hint
TeXmacs-1.0.7.15-1.tar.bz2
TeXmacs-1.0.7.15-1-src.tar.bz2

Regards
Marco