../ Pkgfile 22-Dec-2007 18:48 1458 README 22-Dec-2007 18:48 124 post-install 22-Dec-2007 18:48 40 tetex.patch.gz 22-Dec-2007 18:48 10K