../ TeXmacs-1.0.6-1-src.tar.bz2 18-Dec-2005 15:18 3M TeXmacs-1.0.6-1.tar.bz2 18-Dec-2005 15:19 4M TeXmacs-1.0.7.15-1-src.tar.bz2 29-Mar-2012 15:43 14M TeXmacs-1.0.7.15-1.tar.bz2 29-Mar-2012 15:43 14M md5.sum 29-Mar-2012 17:34 291 setup.hint 29-Mar-2012 15:43 810