Index of /ubuntu/pool/main/petsc |
Name Last modified Size Description
Parent Directory 20-Nov-2008 10:19 - libpetsc2.3.3-dbg_2...> 18-Sep-2008 06:26 2.8M libpetsc2.3.3-dbg_2...> 18-Sep-2008 06:28 2.4M libpetsc2.3.3-dev_2...> 18-Sep-2008 06:26 2.4M libpetsc2.3.3-dev_2...> 18-Sep-2008 06:27 2.2M libpetsc2.3.3-gf42_2..> 18-Sep-2008 06:26 1.9M libpetsc2.3.3-gf42_2..> 18-Sep-2008 06:27 1.6M petsc-dev_2.3.3-15op..> 18-Sep-2008 06:25 12k petsc2.3.3-doc_2.3.3..> 18-Sep-2008 06:25 3.6M petsc_2.3.3-15opv3.d..> 18-Sep-2008 06:13 25k petsc_2.3.3-15opv3.dsc 18-Sep-2008 06:26 1k petsc_2.3.3-15opv3_a..> 18-Sep-2008 06:27 2k petsc_2.3.3-15opv3_a..> 18-Sep-2008 06:27 295k petsc_2.3.3-15opv3_i..> 18-Sep-2008 06:28 1k petsc_2.3.3-15opv3_i..> 18-Sep-2008 06:28 268k petsc_2.3.3.orig.tar.gz 18-Jul-2007 15:52 10.5M