/app-office/texmacs/files/
../
TeXmacs.desktop
texmacs-1.0.6-gcc-4.1.patch
texmacs-1.0.6-maxima-5.9.3.patch
texmacs-1.0.6.14.patch