../ libpetsc3.2-dbg_3.2.dfsg-6_armhf.deb 22-Nov-2012 11:30 6069800 libpetsc3.2-dev_3.2.dfsg-6_armhf.deb 22-Nov-2012 11:30 6626480 libpetsc3.2_3.2.dfsg-6_armhf.deb 22-Nov-2012 11:30 3131926 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 19-Apr-2012 02:59 17935379