../ Pkgfile 16-Dec-2008 14:00 1458 README 16-Dec-2008 14:00 124 post-install 16-Dec-2008 14:00 40 tetex.patch.gz 16-Dec-2008 14:00 10K