Re: [PRQ#49867] Deletion Request for petsc-git-release

On 2023-10-30 11:59, notify@aur.archlinux.org wrote:

MarsSeed [1] filed a deletion request for petsc-git-release [2]:

This VCS package with a wrong name has already been deleted, see PRQ#43764.

Now it is back, and builds from the master branch. So the pkgname is not just noncomformant with VCS package guidelines, but also bogus.

There's an AUR/petsc-git; that one should be built from master branch.

[1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/petsc-git-release/

@MarsSeed: please, go ahead and delete this (ASAP !!!). I was never notified of any deletion.