heitzmann [1] filed a deletion request for python-petsc4py-git [2]: Petsc4py is now maintained in the main tree of petsc, so it is simpler to build them together. This is now part of package petsc-git. [1] https://aur.archlinux.org/account/heitzmann/ [2] https://aur.archlinux.org/pkgbase/python-petsc4py-git/