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, [email protected] 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/
