This repository exists for use with firedrake-zenodo. petsc4py is now maintained in-tree in PETSc. If you want a known-compatible version for Firedrake, check the relevant forked repo.