../ libpetsc3.4.2-dbg_3.4.2.dfsg1-6_amd64.deb 17-Dec-2013 23:38 9834236 libpetsc3.4.2-dev_3.4.2.dfsg1-6_amd64.deb 17-Dec-2013 23:38 3628258 libpetsc3.4.2_3.4.2.dfsg1-6_amd64.deb 17-Dec-2013 23:38 2369984 petsc-dev_3.4.2.dfsg1-6_all.deb 17-Dec-2013 23:18 5122 petsc3.4.2-doc_3.4.2.dfsg1-6_all.deb 17-Dec-2013 23:18 4032208