/app-office/texmacs/files/

• ../
• TeXmacs.desktop
• texmacs-1.0.7.2-strip.patch
• texmacs-1.0.7.3-strip.patch
• texmacs-1.0.7.4-strip.patch