texmacs_1.0.7.12-1_i386.deb editors optional
