../ texmacs_1.0.7.15-2.diff.gz 20-Jul-2012 04:17 33K texmacs_1.0.7.15-2.dsc 20-Jul-2012 04:17 1422 texmacs_1.0.7.15.orig.tar.gz 27-Mar-2012 07:32 14M