../ Pkgfile 21-Mar-2007 13:29 1458 README 21-Mar-2007 13:29 124 post-install 21-Mar-2007 13:29 40 tetex.patch.gz 21-Mar-2007 13:29 10K