../ Pkgfile 28-Oct-2012 09:55 1750 README 28-Oct-2012 09:55 124 post-install 28-Oct-2012 09:55 40 tetex.patch.gz 28-Oct-2012 09:55 10K