Name                    Last modified       Size  Description

 Parent Directory        01-Dec-2009 10:57      -  
 libpetsc3.0.0-dbg_3...> 16-Jun-2009 15:55   3.4M  
 libpetsc3.0.0-dev_3...> 16-Jun-2009 15:55   3.2M  
 libpetsc3.0.0_3.0.0...> 16-Jun-2009 15:55   2.0M  
 petsc-dev_3.0.0.dfsg..> 16-Jun-2009 15:54    12k  
 petsc3.0.0-doc_3.0.0..> 16-Jun-2009 15:54   4.6M  
 petsc_3.0.0.dfsg-5le..> 16-Jun-2009 15:44   2.5M  
 petsc_3.0.0.dfsg-5le..> 16-Jun-2009 15:58     1k  
 petsc_3.0.0.dfsg-5le..> 16-Jun-2009 15:59   309k  
 petsc_3.0.0.dfsg-5le..> 16-Jun-2009 15:59     3k  
 petsc_3.0.0.dfsg.ori..> 27-Mar-2009 16:12  13.5M