heitzmann [1] filed a deletion request for petsc-maint [2]: The package has been inactive since 2015, it doesn't build properly and it is named incorrectly. [1] https://aur.archlinux.org/account/heitzmann/ [2] https://aur.archlinux.org/pkgbase/petsc-maint/