../ python-petsc4py-docs_3.7.0-3build2_all.deb 28-May-2020 17:47 476378 python-petsc4py_3.7.0-3build2_amd64.deb 28-May-2020 18:08 724918 python3-petsc4py_3.7.0-3build2_amd64.deb 28-May-2020 18:07 718758