../ libpetsc3.0.0-dbg_3.0.0.dfsg-5ubuntu2_i386.deb 07-Jun-2017 01:48 2950384 libpetsc3.0.0-dev_3.0.0.dfsg-5ubuntu2_i386.deb 07-Jun-2017 01:48 3103156 libpetsc3.0.0_3.0.0.dfsg-5ubuntu2_i386.deb 07-Jun-2017 01:48 1567536 petsc-dev_3.0.0.dfsg-5ubuntu2_all.deb 07-Jun-2017 01:48 13210 petsc3.0.0-doc_3.0.0.dfsg-5ubuntu2_all.deb 07-Jun-2017 01:48 4794726