../ petsc4py_3.7.0-2.debian.tar.xz 19-Aug-2016 14:15 87604 petsc4py_3.7.0-2.dsc 19-Aug-2016 14:15 2101 petsc4py_3.7.0.orig.tar.gz 10-Jul-2016 15:10 1658018 python-petsc4py_3.7.0-2+b2_amd64.deb 17-Oct-2016 19:45 1269024 python-petsc4py_3.7.0-2+b2_i386.deb 17-Oct-2016 19:34 1126770