../ petsc4py_3.6.0-2.debian.tar.xz 04-Jul-2016 07:08 51972 petsc4py_3.6.0-2.dsc 04-Jul-2016 07:08 2101 petsc4py_3.6.0.orig.tar.gz 04-Jul-2016 07:08 1606313 python-petsc4py_3.6.0-2_armhf.deb 12-Jul-2016 16:08 1007646