../ libpetsc3.2-dbg_3.2.dfsg-6_amd64.deb 11-Nov-2012 16:07 6474466 libpetsc3.2-dev_3.2.dfsg-6_amd64.deb 11-Nov-2012 16:07 5878024 libpetsc3.2_3.2.dfsg-6_amd64.deb 11-Nov-2012 16:07 2774722 petsc-dev_3.2.dfsg-6_all.deb 11-Nov-2012 16:07 15510 petsc3.2-doc_3.2.dfsg-6_all.deb 11-Nov-2012 16:07 5391580 petsc_3.2.dfsg-6.debian.tar.gz 11-Nov-2012 16:07 33453 petsc_3.2.dfsg-6.dsc 11-Nov-2012 16:07 2649 petsc_3.2.dfsg.orig.tar.gz 11-Jan-2012 12:17 17935379