Index of /desktop/pool/main/p/petsc

      Name                    Last modified      Size  Description
      Parent Directory                             -   
      libpetsc3.0.0-dbg_3...> 08-Oct-2014 15:49  3.5M  
      libpetsc3.0.0-dev_3...> 08-Oct-2014 15:49  3.8M  
      libpetsc3.0.0_3.0.0...> 08-Oct-2014 15:49  1.5M  
      petsc-dev_3.0.0.dfsg..> 08-Oct-2014 15:49   13K  
      petsc3.0.0-doc_3.0.0..> 08-Oct-2014 15:49  4.5M

Apache/2.2.15 (CentOS) Server at repo.linuxwizard.ru Port 80