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

2019-02-09 Thread 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

2019-02-05 Thread 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/