../ Pkgfile 31-Aug-2009 16:52 1465 README 31-Aug-2009 16:52 124 post-install 31-Aug-2009 16:52 40 tetex.patch.gz 31-Aug-2009 16:52 10K