[PRQ#43764] Deletion Request for petsc-git-release

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/