[aur-requests] [PRQ#14038] Deletion Request for petsc-maint Accepted

[notify--- via aur-requests]

Request #14038 has been accepted by Alad [1].

[1] https://aur.archlinux.org/account/Alad/

[aur-requests] [PRQ#14038] Deletion Request for petsc-maint

[notify--- via aur-requests]

heitzmann [1] filed a deletion request for petsc-maint [2]:

The package has been inactive since 2015, it doesn't build properly
and it is named incorrectly.

[1] https://aur.archlinux.org/account/heitzmann/
[2] https://aur.archlinux.org/pkgbase/petsc-maint/