MartinDiehl [1] filed a deletion request for petsc4py [2]: the petsc package now contains petsc4py (inline with recent upstream changes) [1] https://aur.archlinux.org/account/MartinDiehl/ [2] https://aur.archlinux.org/pkgbase/petsc4py/