/app-office/texmacs/files/

• ../
• TeXmacs.desktop
• texmacs-1.0.7.2-strip.patch
• texmacs-1.0.7.5-strip.patch
• texmacs-1.0.7.6-strip.patch