../ Pkgfile 14-Nov-2010 16:00 1853 README 14-Nov-2010 16:00 124 post-install 14-Nov-2010 16:00 40 tetex.patch.gz 14-Nov-2010 16:00 10K