../ 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