entshuld [1] filed a deletion request for petsc-git-release [2]: I have to rename this package, but I realistically have no time to maintain it, anyway.
[1] https://aur.archlinux.org/account/entshuld/ [2] https://aur.archlinux.org/pkgbase/petsc-git-release/
