Index of /pool/main/t/tetex-base

      Name                    Last modified      Size  Description
Parent Directory - tetex-extra_1.0.2+20..> 2003-02-25 13:50 9.3M tetex-doc_1.0.2+2000..> 2003-02-25 13:47 1.1K tetex-base_1.0.2+200..> 2003-02-25 13:47 33M tetex-base_1.0.2+200..> 2003-02-25 13:38 24M tetex-base_1.0.2+200..> 2003-02-25 13:30 411 tetex-base_1.0.2+200..> 2003-02-25 13:30 24K