Index of /ports/crux-2.4/opt/tetex

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 Pkgfile                 16-Dec-2008 15:00  1.4K  
 post-install            16-Dec-2008 15:00   40   
 tetex.patch.gz          16-Dec-2008 15:00   10K