Man pages matching name petsc4py in section 1:

petsc4py.1.en	debian 10 / python-petsc4py-docs
petsc4py.1.en	debian 11 / python-petsc4py-doc
petsc4py.1.en	debian 12 / python-petsc4py-doc