../ libpetsc2.2.0-dbg_2.2.0-4_amd64.deb 30-Apr-2005 17:53 9393364 libpetsc2.2.0-dev_2.2.0-4_amd64.deb 30-Apr-2005 17:53 2058554 libpetsc2.2.0_2.2.0-4_amd64.deb 30-Apr-2005 17:53 1608078 petsc-dbg_2.2.0-4_all.deb 09-Feb-2010 15:26 65 petsc-dev_2.2.0-4_all.deb 09-Feb-2010 15:26 65 petsc2.2.0-doc_2.2.0-4_all.deb 09-Feb-2010 15:26 70 petsc_2.2.0-4.diff.gz 09-Feb-2010 15:26 61 petsc_2.2.0-4.dsc 09-Feb-2010 15:26 57 petsc_2.2.0.orig.tar.gz 09-Feb-2010 15:26 63