py-petsc4py is a stub port
