Index of /ports/print/detex/work

      Name                    Last modified       Size  Description


[DIR] Parent Directory        11-Jan-2008 06:37      -  
[DIR] detex-2.7/              11-Jan-2008 06:37      -
Apache/1.3.33 Server at src.gnu-darwin.org Port 80