../ TeXmacs-debuginfo/ 23-Feb-2013 14:22 - TeXmacs-1.0.7.16-2-src.tar.bz2 11-Nov-2012 07:59 12M TeXmacs-1.0.7.16-2.tar.bz2 11-Nov-2012 07:59 13M TeXmacs-1.0.7.18-1-src.tar.bz2 23-Feb-2013 14:22 18M TeXmacs-1.0.7.18-1.tar.bz2 23-Feb-2013 14:22 16M md5.sum 23-Feb-2013 14:34 297 setup.hint 23-Feb-2013 14:22 500