It seems AUR/petsc-git also builds the release branch, just like this package. So deleting this package won't cause a loss: AUR users still can get the same 'rolling stable' version from the same branch via the latter package. (N.b. AUR/petsc-git has a misleading name, as typically a git package is for the latest development branch, not for a stable release maintenance branch. But I guess following the latter makes the built software more reliable for end-users; that is actually what upstream recommends for them.) On 6 July 2023 16:21:43 GMT+02:00, notify@aur.archlinux.org wrote:
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/