Index of /stable/debian/pool/main/p/petsc/

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